Semantical investigations in Heyting's intuitionistic logic

zbMATH Open0453.03001MaRDI QIDQ1148885FDOQ1148885

Publication date: 1981

Published in: Synthese Library (Search for Journal in Brave)

logical theories consequence deduction theorem intuitionistic propositional calculus Heyting's implicational calculus interpolation theorems for intuitionism

Mathematics Subject Classification ID

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)