The following pages link to On logics with coimplication (Q1272827):
Displaying 30 items.
- Bi-simulating in bi-intuitionistic logic (Q332084) (← links)
- Interval-valued fuzzy coimplications and related dual interval-valued conjugate functions (Q386042) (← links)
- The semi Heyting-Brouwer logic (Q495844) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Natural deduction for dual-intuitionistic logic (Q694491) (← links)
- A survey on fuzzy relational equations. I: Classification and solvability (Q735225) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Dual intuitionistic logic and a variety of negations: the logic of scientific research (Q813087) (← links)
- Coimplications derived from pseudo-uninorms on a complete lattice (Q1678416) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
- Coherence in inquisitive first-order logic (Q2159932) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence (Q3092201) (← links)
- Invited Talk: Coherentisation of First-Order Logic (Q3455757) (← links)
- Information Quanta and Approximation Operators: Once More Around the Track (Q3600306) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
- (Q4625704) (← links)
- (Q4629011) (← links)
- Splittings in varieties of logic (Q5002194) (← links)
- A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras (Q5055314) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC (Q5274878) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)
- TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS (Q5880425) (← links)
- Bi-intermediate logics of trees and co-trees (Q6584961) (← links)
- Polynomial-time checking of generalized Sahlqvist syntactic shape (Q6639733) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)
