On the strong semantical completeness of the intuitionistic predicate calculus

DOI10.2307/2270047zbMath0155.01402OpenAlexW2128776156MaRDI QIDQ5537601

Richmond H. Thomason

Publication date: 1968

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

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

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (16)

Dynamic semantics and circular propositions ⋮ The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics ⋮ Partial up an down logic ⋮ Honesty in partial logic ⋮ Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik ⋮ Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics ⋮ Probabilistic semantics objectified: I. Postulates and logics ⋮ Truth as an epistemic ideal ⋮ SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS ⋮ A representation theorem for polyadic Heyting algebras ⋮ Applications of Kripke models to Heyting-Brouwer logic ⋮ Predicate logical extensions of some subintuitionistic logics ⋮ Reference and perspective in intuitionistic logics ⋮ First-order logics of evidence and truth with constant and variable domains ⋮ A strong completeness theorem in intuitionistic quantified modal logic ⋮ The Skolem-Löwenheim theorem in toposes. II

Cites Work

• The Demarcation Line Between Intuitionist Logic and Classical Logic

This page was built for publication: On the strong semantical completeness of the intuitionistic predicate calculus