Applications of trees to intermediate logics

DOI10.2307/2272556MaRDI QIDQ5654019zbMATH OpenOpenAlexFDO

Authors Dov Gabbay

Publication date 1972

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2272556

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited in

(20)

• Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
• Applications of Kripke models to Heyting-Brouwer logic
• On Kreisel's notion of validity in Post systems
• Directed frames
• A study of intermediate predicate logics
• Glivenko theorems and negative translations in substructural predicate logics
• An alternative normalization of the implicative fragment of classical logic
• Henkin's completeness proof and Glivenko's theorem
• Annual Meeting of the Association for Symbolic Logic
• A short proof of Glivenko theorems for intermediate predicate logics
• On the proof theory of the intermediate logic MH
• A new version of Beth semantics for intuitionistic logic
• Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle
• On 2nd order intuitionistic propositional calculus with full comprehension
• Completeness of intermediate logics with doubly negated axioms
• Sufficient conditions for the undecidability of intuitionistic theories with applications
• On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview
• Kamide is in America, Moisil and Leitgeb are in Australia
• Conservation as translation
• Completeness of first-order bi-intuitionistic logic

This page was built for publication: Applications of trees to intermediate logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5654019)