Applications of trees to intermediate logics
From MaRDI portal
Publication:5654019
DOI10.2307/2272556zbMath0243.02019MaRDI QIDQ5654019
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
03B55: Intermediate logics
Related Items
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, A short proof of Glivenko theorems for intermediate predicate logics, Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle, 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, On the proof theory of the intermediate logic MH, A new version of Beth semantics for intuitionistic logic