On logics with coimplication

DOI10.1023/A:1004218110879zbMath0976.03020MaRDI QIDQ1272827

Frank Wolter

Publication date: 9 March 1999

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

semanticsintuitionistic logiccoimplicationtense logicsadditional modal operatorsdual of implicationextension of Blok-Esakia-TheoremGödel-embeddingmodal extensions of Heyting-Brouwer logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (25)

TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ Power and Limits of Structural Display Rules ⋮ A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras ⋮ Bi-simulating in bi-intuitionistic logic ⋮ Coimplications derived from pseudo-uninorms on a complete lattice ⋮ Interval-valued fuzzy coimplications and related dual interval-valued conjugate functions ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ Time and Gödel: fuzzy temporal reasoning in PSPACE ⋮ Natural deduction for bi-intuitionistic logic ⋮ The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem ⋮ The semi Heyting-Brouwer logic ⋮ Natural deduction for dual-intuitionistic logic ⋮ Hypersequent and display calculi -- a unified perspective ⋮ A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Information Quanta and Approximation Operators: Once More Around the Track ⋮ A survey on fuzzy relational equations. I: Classification and solvability ⋮ Constructive negation, implication, and co-implication ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ Splittings in varieties of logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On the Blok-Esakia Theorem ⋮ Dual intuitionistic logic and a variety of negations: the logic of scientific research ⋮ ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC

Cites Work

• Models for normal intuitionistic modal logics
• Modality and possibility in some intuitionistic modal logics
• A subdirectly irreducible double Heyting algebra which is not simple
• Constructivism in mathematics. An introduction. Volume II
• Modal companions of intermediate propositional logics
• Even more about the lattice of tense logics
• A lattice of normal modal logics
• On some intuitionistic modal logics
• Completeness results for intuitionistic and modal logic in a categorical setting
• Superintuitionistic companions of classical modal logics
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• A formalization of the propositional calculus of H-B logic
• Logics containing K4. Part II
• Properties of independently axiomatizable bimodal logics
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Completeness and decidability of tense logics closely related to logics above K4
• Logics containing K4. Part I
• On the Independent Axiomatizability of Modal and Intermediate Logics
• The finite model property in tense logic
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Algebraic semantics for quasi-classical modal logics
• Modal Logics Between S 4 and S 5
• Semantic analysis of tense logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On logics with coimplication