On logics with coimplication

DOI10.1023/A:1004218110879MaRDI QIDQ1272827zbMATH OpenFDO

Authors F. Wolter

Publication date 9 March 1999

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

Full work available at URL https://doi.org/10.1023/A:1004218110879

zbMATH Keywords

additional modal operatorscoimplicationdual of implicationextension of Blok-Esakia-TheoremGödel-embeddingintuitionistic logicmodal extensions of Heyting-Brouwer logicsemanticstense logics

Mathematics Subject Classification ID

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

Recommendations

• The semi Heyting-Brouwer logic
• scientific article; zbMATH DE number 975275
• scientific article; zbMATH DE number 4070861
• scientific article; zbMATH DE number 3981153

Cites work

• A formalization of the propositional calculus of H-B logic
• A lattice of normal modal logics
• A subdirectly irreducible double Heyting algebra which is not simple
• Algebraic semantics for quasi-classical modal logics
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Completeness and decidability of tense logics closely related to logics above K4
• Completeness results for intuitionistic and modal logic in a categorical setting
• Constructivism in mathematics. An introduction. Volume II
• Even more about the lattice of tense logics
• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 3677799 (Why is no real title available?)
• scientific article; zbMATH DE number 3689368 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3554258 (Why is no real title available?)
• scientific article; zbMATH DE number 1222489 (Why is no real title available?)
• scientific article; zbMATH DE number 1303434 (Why is no real title available?)
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 3009953 (Why is no real title available?)
• scientific article; zbMATH DE number 3212008 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• Logics containing K4. Part I
• Logics containing K4. Part II
• Modal companions of intermediate propositional logics
• Modal Logics Between S 4 and S 5
• Modality and possibility in some intuitionistic modal logics
• Models for normal intuitionistic modal logics
• On some intuitionistic modal logics
• On the Independent Axiomatizability of Modal and Intermediate Logics
• Properties of independently axiomatizable bimodal logics
• Semantic analysis of tense logics
• Semi-Boolean algebras and their applications to intuitionistic logic with dual operations
• Superintuitionistic companions of classical modal logics
• The finite model property in tense logic
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse

Cited in

(42)

• Coimplications derived from pseudo-uninorms on a complete lattice
• Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
• Natural deduction for bi-intuitionistic logic
• Coherence in inquisitive first-order logic
• Hypersequent and display calculi -- a unified perspective
• Algorithmic correspondence and canonicity for non-distributive logics
• On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence
• Bi-simulating in bi-intuitionistic logic
• Invited Talk: Coherentisation of First-Order Logic
• Information Quanta and Approximation Operators: Once More Around the Track
• Constructive negation, implication, and co-implication
• Interval-valued fuzzy coimplications and related dual interval-valued conjugate functions
• Sahlqvist via translation
• Conservative and dissipative for t-norm and t-conorm and residual fuzzy co-implication
• The semi Heyting-Brouwer logic
• Splittings in varieties of logic
• A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras
• On the Blok-Esakia theorem
• Analytic cut and interpolation for bi-intuitionistic logic
• Power and limits of structural display rules
• A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
• TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
• Time and Gödel: fuzzy temporal reasoning in PSPACE
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
• Bi-intermediate logics of trees and co-trees
• Polynomial-time checking of generalized Sahlqvist syntactic shape
• Gödel-Dummett linear temporal logic
• Blok-Esakia theorems via stable canonical rules
• Internal and external calculi: ordering the jungle without being lost in translations
• Maximality principles in modal logic and the axiom of choice
• Symmetric and conflated intuitionistic logics
• Unified inverse correspondence for LE-logics
• A unified framework of fuzzy implications and coimplications
• Modal reduction principles across relational semantics
• Natural deduction for dual-intuitionistic logic
• Bounded distributive lattices with strict implication and weak difference
• Local tabularity is decidable for bi-intermediate logics of trees and of co-trees
• Substructural negations as normal modal operators
• A survey on fuzzy relational equations. I: Classification and solvability
• Bilateral base-extension semantics
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Dual intuitionistic logic and a variety of negations: the logic of scientific research

This page was built for publication: On logics with coimplication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1272827)