Semantical investigations in Heyting's intuitionistic logic

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

Mathematics Subject Classification ID

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) Intermediate logics (03B55) Other nonclassical logic (03B60) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Cited in

(only showing first 100 items - show all)

Predicate logical extensions of some subintuitionistic logics
Reference and perspective in intuitionistic logics
Default logic generalized and simplified
Models for normal intuitionistic modal logics
Models for stronger normal intuitionistic modal logics
A cut-free Gentzen-type system for the logic of the weak law of excluded middle
On decision procedures for sentential logics
A family of goal directed theorem provers based on conjunction and implication. I
An infinite class of maximal intermediate propositional logics with the disjunction property
Quantified extensions of canonical propositional intermediate logics
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
On some new intuitionistic propositional connectives. I
Computable Kripke models and intermediate logics
Decidable Kripke models of intuitionistic theories
A uniform tableau method for intuitionistic modal logics. I
On the predicate logics of finite Kripke frames
An improved refutation system for intuitionistic predicate logic
Completeness results for intuitionistic and modal logic in a categorical setting
On completeness theorems for feature logics
Model completions and r-Heyting categories
Propositional quantification in the topological semantics for S4
Reverse mathematics and completeness theorems for intuitionistic logic
The revival of rejective negation
Eliminating disjunctions by disjunction elimination
A semantic hierarchy for intuitionistic logic
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
Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)
Constructing a continuum of predicate extensions of each intermediate propositional logic
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
On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic
Creative subject, Beth models and neighbourhood functions
What is a logic translation?
The decidability of Craig's interpolation property in well-composed J-logics
Completeness for the classical antecedent fragment of inquisitive first-order logic
The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
What is a relevant connective?
Coherence in inquisitive first-order logic
Expressive power and semantic completeness: Boolean connectives in modal logic
Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
Generalizations of the weak law of the excluded middle
Definability and interpolation in non-classical logics
Reflexive intermediate propositional logics
On maximal intermediate predicate constructive logics
Metasequents and tetravaluations
2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
If, not when
A system for proper multiple-conclusion entailment
A multiple-conclusion calculus for first-order Gödel logic
Undecidability of First-Order Intuitionistic and Modal Logics with Two variables
Linear Kripke frames and Gödel logics
Subformula and separation properties in natural deduction via small Kripke models
The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions
European Summer Meeting of the Association for Symbolic Logic
Graphs of plural cuts
On an interpretation of second order quantification in first order intuitionistic propositional logic
What is an inference rule?
A new version of Beth semantics for intuitionistic logic
Undecidability of modal and intermediate first-order logics with two individual variables
Counting the maximal intermediate constructive logics
Cut‐Elimination Theorem for the Logic of Constant Domains
On the complexity of propositional quantification in intuitionistic logic
Validity Measurement in Some Propositional Logics
A Strange Remark Attributed to Gödel
Prior's OIC nonconservativity example revisited
Generalized tableau systems for intermediate propositional logics
Almost duplication-free tableau calculi for propositional lax logics
An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic
Constants in Kripke Models for Intuitionistic Logic
The emptiness problem for intersection types
Implicational Logic, Relevance, and Refutability
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
Eliminating disjunctions by disjunction elimination
Completeness of intermediate logics with doubly negated axioms
Aggregation and idempotence
Effective Finite-Valued Approximations of General Propositional Logics
Completeness and incompleteness for intuitionistic logic
Maximality and refutability
A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics
Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
Subtractive logic
The pleasures of anticipation: Enriching intuitionistic logic
IMPROVING STRONG NEGATION
Joint consistency in extensions of the minimal logic
What is a logical theory? On theories containing assertions and denials
A Lindström theorem for intuitionistic first-order logic
The algebraic significance of weak excluded middle laws
What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains?
Lattices of Intermediate Theories via Ruitenburg's Theorem
Interpolation and definability over the logic Gl
Consequence relations and data science: from Galois mappings to data interpretation
Vetoing: social, logical and mathematical aspects
An analytic representation of the semantics of first-order S5
Information types in intuitionistic predicate logic with constant domains
Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
Interpolation and the projective Beth property in well-composed logics
Decidability of the weak interpolation property over the minimal logic
An intriguing logic with two implicational connectives
Variations on the Kripke trick

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)