Semantical investigations in Heyting's intuitionistic logic
zbMATH Open0453.03001MaRDI QIDQ1148885FDOQ1148885
Authors: Dov Gabbay
Publication date: 1981
Published in: Synthese Library (Search for Journal in Brave)
logical theoriesconsequencededuction theoremintuitionistic propositional calculusHeyting's implicational calculusinterpolation theorems for intuitionism
Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intermediate logics (03B55) Metamathematics of constructive systems (03F50) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Intuitionistic mathematics (03F55)
Cited In (only showing first 100 items - show all)
- Joint consistency in extensions of the minimal logic
- Interpolation and definability over the logic Gl
- Decidability of the weak interpolation property over the minimal logic
- Interpolation and the projective Beth property in well-composed logics
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
- Reverse mathematics and completeness theorems for intuitionistic logic
- The emptiness problem for intersection types
- A cut-free Gentzen-type system for the logic of the weak law of excluded middle
- IMPROVING STRONG NEGATION
- AGGREGATION AND IDEMPOTENCE
- \(\mathcal {BCDL}\): Basic constructive description logic
- An intriguing logic with two implicational connectives
- On completeness theorems for feature logics
- If, not when
- Maximality and refutability
- An improved refutation system for intuitionistic predicate logic
- A semantic hierarchy for intuitionistic logic
- On maximal intermediate predicate constructive logics
- Decidable Kripke models of intuitionistic theories
- Subtractive logic
- Implicational Logic, Relevance, and Refutability
- Models for normal intuitionistic modal logics
- Constructing a continuum of predicate extensions of each intermediate propositional logic
- A first order nonmonotonic extension of constructive logic
- Configuration structures, event structures and Petri nets
- The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions
- The decidability of Craig's interpolation property in well-composed J-logics
- Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus
- Completeness and incompleteness for intuitionistic logic
- On the complexity of propositional quantification in intuitionistic logic
- A system for proper multiple-conclusion entailment
- Predicate logical extensions of some subintuitionistic logics
- Model completions and r-Heyting categories
- Linear Kripke frames and Gödel logics
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
- On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic
- Expressive power and semantic completeness: Boolean connectives in modal logic
- Simple consequence relations
- Quantified extensions of canonical propositional intermediate logics
- Default logic generalized and simplified
- First-order logic in the Medvedev lattice
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
- Propositional quantification in the topological semantics for \(\mathbf S4\)
- On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes
- Counting the maximal intermediate constructive logics
- On the predicate logics of finite Kripke frames
- An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION
- What is an inference rule?
- Computable Kripke models and intermediate logics
- Models for stronger normal intuitionistic modal logics
- A family of goal directed theorem provers based on conjunction and implication. I
- Constructive modal logics. I
- What is a logic translation?
- On some new intuitionistic propositional connectives. I
- Definability and interpolation in non-classical logics
- Reflexive intermediate propositional logics
- Reference and perspective in intuitionistic logics
- An infinite class of maximal intermediate propositional logics with the disjunction property
- Completeness results for intuitionistic and modal logic in a categorical setting
- Coherence in inquisitive first-order logic
- Constants in Kripke Models for Intuitionistic Logic
- Graphs of plural cuts
- The revival of rejective negation
- Eliminating disjunctions by disjunction elimination
- Algebras of intervals and a logic of conditional assertions
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
- On decision procedures for sentential logics
- Subformula and separation properties in natural deduction via small Kripke models
- Undecidability of modal and intermediate first-order logics with two individual variables
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
- The pleasures of anticipation: Enriching intuitionistic logic
- What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains?
- A Lindström theorem for intuitionistic first-order logic
- Consequence relations and data science: from Galois mappings to data interpretation
- The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
- Lattices of Intermediate Theories via Ruitenburg's Theorem
- A Strange Remark Attributed to Gödel
- Generalizations of the weak law of the excluded middle
- A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics
- Vetoing: social, logical and mathematical aspects
- 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
- Creative subject, Beth models and neighbourhood functions
- Almost duplication-free tableau calculi for prepositional lax logics
- Generalized tableau systems for intermediate propositional logics
- A uniform tableau method for intuitionistic modal logics. I
- European Summer Meeting of the Association for Symbolic Logic
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- Prior’s OIC nonconservativity example revisited
- The algebraic significance of weak excluded middle laws
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
- Effective Finite-Valued Approximations of General Propositional Logics
- Validity Measurement in Some Propositional Logics
- Metasequents and tetravaluations
- A multiple-conclusion calculus for first-order Gödel logic
- What is a logical theory? On theories containing assertions and denials
- Completeness of intermediate logics with doubly negated axioms
- Cut‐Elimination Theorem for the Logic of Constant Domains
This page was built for publication: Semantical investigations in Heyting's intuitionistic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1148885)