Applications of Kripke models to Heyting-Brouwer logic

DOI10.1007/BF02121115zbMath0361.02033MaRDI QIDQ1239313

Cecylia Rauszer

Publication date: 1977

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Model theory (03C99) Intermediate logics (03B55)

Related Items (26)

Bi-simulating in bi-intuitionistic logic ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Qualitative reasoning in a two-layered framework ⋮ Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation ⋮ Natural deduction for bi-intuitionistic logic ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ First-order da Costa logic ⋮ Bi-intuitionistic implication structures ⋮ Pragmatic and dialogic interpretations of bi-intuitionism. Part I ⋮ Some topological properties of paraconsistent models ⋮ Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations ⋮ Extensions of Priest-da Costa logic ⋮ Anti-intuitionism and paraconsistency ⋮ On Displaying Negative Modalities ⋮ Semantic characterization of certain sets of intuitionistic logical connectives ⋮ Model theory for an extension of intuitionistic logic ⋮ The pleasures of anticipation: Enriching intuitionistic logic ⋮ Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality ⋮ Constructive negation, implication, and co-implication ⋮ Falsification-aware semantics and sequent calculi for classical logic ⋮ Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory ⋮ On the Blok-Esakia Theorem ⋮ ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC ⋮ Structuring co-constructive logic for proofs and refutations

Cites Work

• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• An algebraic approach to the Heyting-Brouwer predicate calculus
• On the strong semantical completeness of the intuitionistic predicate calculus
• Applications of trees to intermediate logics

This page was built for publication: Applications of Kripke models to Heyting-Brouwer logic