The book is currently out of stock

Semantical Investigations in Heyting's Intuitionistic Logic

Authors

Dov M. Gabbay

Parameters

More about the book

This book explores logical systems related to Heyting's implication, emphasizing properties of classical connectives. It includes insights for intuitionist mathematicians and discusses topological models and type theories. The author acknowledges contributions from Professors Kreisel, Rabin, and Scott, highlighting their influence on the work.

Publication

Book purchase

Semantical Investigations in Heyting's Intuitionistic Logic, Dov M. Gabbay

Language
Released: 1981
product-detail.submit-box.info.binding: (Hardcover)

We’ll notify you via email once we track it down.

Payment methods

No one has rated yet.Add rating

Title: Semantical Investigations in Heyting's Intuitionistic Logic
Language: English
Authors: Dov M. Gabbay
Publisher: Springer / Springer Netherlands
Released: 1981
Format: Hardcover
ISBN13: 9789027712028
Tags: Textbooks, Philosophy, Other Textbooks
Description: This book explores logical systems related to Heyting's implication, emphasizing properties of classical connectives. It includes insights for intuitionist mathematicians and discusses topological models and type theories. The author acknowledges contributions from Professors Kreisel, Rabin, and Scott, highlighting their influence on the work.