Il libro è attualmente esaurito
Maggiori informazioni sul libro
Focusing on non-classical logics, this book examines the properties of logical systems that incorporate classical connectives and implications near Heyting's implication. It intentionally omits the topic of entailment, citing existing literature, while later chapters cater to intuitionist mathematicians. The author acknowledges the influence of colleagues in shaping the work, highlighting significant contributions from Professors Kreisel, Rabin, and Scott. Although the text touches on advanced concepts like topological models and theories of types, it refrains from delving into a comprehensive theory due to publication constraints.
Acquisto del libro
Semantical Investigations in Heyting's Intuitionistic Logic, Dov M. Gabbay
- Lingua
- Pubblicato
- 2010
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.