Semantical investigations in Heyting's intuitionistic logic
From MaRDI portal
Publication:1148885
zbMath0453.03001MaRDI QIDQ1148885
Publication date: 1981
Published in: Synthese Library (Search for Journal in Brave)
deduction theoremintuitionistic propositional calculuslogical theoriesconsequenceHeyting's implicational calculusinterpolation theorems for intuitionism
Other nonclassical logic (03B60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Intermediate logics (03B55)
Related Items (only showing first 100 items - show all)
If, not when ⋮ A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics ⋮ On the predicate logics of finite Kripke frames ⋮ An improved refutation system for intuitionistic predicate logic ⋮ Constructing a continuum of predicate extensions of each intermediate propositional logic ⋮ Completeness results for intuitionistic and modal logic in a categorical setting ⋮ Configuration structures, event structures and Petri nets ⋮ Models for normal intuitionistic modal logics ⋮ Models for stronger normal intuitionistic modal logics ⋮ Undecidability of modal and intermediate first-order logics with two individual variables ⋮ On completeness theorems for feature logics ⋮ A cut-free Gentzen-type system for the logic of the weak law of excluded middle ⋮ Counting the maximal intermediate constructive logics ⋮ A method to single out maximal propositional logics with the disjunction property. I ⋮ A method to single out maximal propositional logics with the disjunction property. II ⋮ What is a relevant connective? ⋮ On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic ⋮ Coherence in inquisitive first-order logic ⋮ Creative subject, Beth models and neighbourhood functions ⋮ Model completions and r-Heyting categories ⋮ On an interpretation of second order quantification in first order intuitionistic propositional logic ⋮ THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY ⋮ Cut‐Elimination Theorem for the Logic of Constant Domains ⋮ Propositional quantification in the topological semantics for \(\mathbf S4\) ⋮ Joint consistency in extensions of the minimal logic ⋮ Graphs of plural cuts ⋮ Prior’s OIC nonconservativity example revisited ⋮ What is a logic translation? ⋮ IMPROVING STRONG NEGATION ⋮ What is a logical theory? On theories containing assertions and denials ⋮ Eliminating disjunctions by disjunction elimination ⋮ Metasequents and tetravaluations ⋮ What is an inference rule? ⋮ The decidability of Craig's interpolation property in well-composed J-logics ⋮ First-order logic in the Medvedev lattice ⋮ Constants in Kripke Models for Intuitionistic Logic ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION ⋮ Generalized tableau systems for intermediate propositional logics ⋮ Interpolation and definability over the logic Gl ⋮ Reverse mathematics and completeness theorems for intuitionistic logic ⋮ A system for proper multiple-conclusion entailment ⋮ An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic ⋮ On the complexity of propositional quantification in intuitionistic logic ⋮ On decision procedures for sentential logics ⋮ A family of goal directed theorem provers based on conjunction and implication. I ⋮ Validity Measurement in Some Propositional Logics ⋮ 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ A semantic hierarchy for intuitionistic logic ⋮ A Multiple-Conclusion Calculus for First-Order Gödel Logic ⋮ Completeness of intermediate logics with doubly negated axioms ⋮ Almost duplication-free tableau calculi for prepositional lax logics ⋮ Maximal Kripke-type semantics for modal and superintuitionistic predicate logics ⋮ AGGREGATION AND IDEMPOTENCE ⋮ An infinite class of maximal intermediate propositional logics with the disjunction property ⋮ Interpolation and the projective Beth property in well-composed logics ⋮ SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS ⋮ Quantified extensions of canonical propositional intermediate logics ⋮ Decidability of the weak interpolation property over the minimal logic ⋮ Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics ⋮ An intriguing logic with two implicational connectives ⋮ The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions ⋮ \(\mathcal {BCDL}\): Basic constructive description logic ⋮ Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness ⋮ Algebras of intervals and a logic of conditional assertions ⋮ Subtractive logic ⋮ Maximality and refutability ⋮ The emptiness problem for intersection types ⋮ Definability and interpolation in non-classical logics ⋮ Expressive power and semantic completeness: Boolean connectives in modal logic ⋮ Reflexive intermediate propositional logics ⋮ Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus ⋮ A new version of Beth semantics for intuitionistic logic ⋮ On some new intuitionistic propositional connectives. I ⋮ The pleasures of anticipation: Enriching intuitionistic logic ⋮ Effective Finite-Valued Approximations of General Propositional Logics ⋮ Undecidability of First-Order Intuitionistic and Modal Logics with Two variables ⋮ Predicate logical extensions of some subintuitionistic logics ⋮ Reference and perspective in intuitionistic logics ⋮ A Strange Remark Attributed to Gödel ⋮ Constructive modal logics. I ⋮ Computable Kripke models and intermediate logics ⋮ On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes ⋮ Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach ⋮ Default logic generalized and simplified ⋮ Completeness for the classical antecedent fragment of inquisitive first-order logic ⋮ Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\) ⋮ Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter ⋮ On maximal intermediate predicate constructive logics ⋮ Decidable Kripke models of intuitionistic theories ⋮ The revival of rejective negation ⋮ Completeness and incompleteness for intuitionistic logic ⋮ Linear Kripke frames and Gödel logics ⋮ Implicational Logic, Relevance, and Refutability ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ A uniform tableau method for intuitionistic modal logics. I ⋮ Simple consequence relations ⋮ A first order nonmonotonic extension of constructive logic ⋮ Generalizations of the weak law of the excluded middle ⋮ The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives ⋮ A Lindström theorem for intuitionistic first-order logic
This page was built for publication: Semantical investigations in Heyting's intuitionistic logic
