On logics with coimplication
From MaRDI portal
semanticsintuitionistic logiccoimplicationtense logicsadditional modal operatorsdual of implicationextension of Blok-Esakia-Theorem[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=G%EF%BF%BD%EF%BF%BDdel-embedding&go=Go G��del-embedding]modal extensions of Heyting-Brouwer logic
Recommendations
Cites work
- 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?)
- 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
- Logics containing K4. Part I
- Logics containing K4. Part II
- Modal Logics Between S 4 and S 5
- Modal companions of intermediate propositional logics
- 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
(31)- Constructive negation, implication, and co-implication
- Natural deduction for dual-intuitionistic logic
- Invited Talk: Coherentisation of First-Order Logic
- Dual intuitionistic logic and a variety of negations: the logic of scientific research
- A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras
- Bi-intermediate logics of trees and co-trees
- Splittings in varieties of logic
- On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
- A survey on fuzzy relational equations. I: Classification and solvability
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
- Sahlqvist via translation
- Coimplications derived from pseudo-uninorms on a complete lattice
- Hypersequent and display calculi -- a unified perspective
- On the Blok-Esakia theorem
- Bi-simulating in bi-intuitionistic logic
- Power and limits of structural display rules
- Polynomial-time checking of generalized Sahlqvist syntactic shape
- Conservative and dissipative for t-norm and t-conorm and residual fuzzy co-implication
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- The semi Heyting-Brouwer logic
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- Information Quanta and Approximation Operators: Once More Around the Track
- Time and Gödel: fuzzy temporal reasoning in PSPACE
- Analytic cut and interpolation for bi-intuitionistic logic
- Gödel-Dummett linear temporal logic
- Coherence in inquisitive first-order logic
- Algorithmic correspondence and canonicity for non-distributive logics
- Natural deduction for bi-intuitionistic logic
- Interval-valued fuzzy coimplications and related dual interval-valued conjugate functions
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)
