Characterizing logical consequence in paraconsistent weak Kleene
From MaRDI portal
Publication:5215771
Recommendations
Cited in
(22)- Semantical analysis of weak Kleene logics
- Pure variable inclusion logics
- Conjunction in paraconsistent weak Kleene logic
- Proof theory of paraconsistent weak Kleene logic
- Exactly true and non-falsity logics meeting infectious ones
- Logics of variable inclusion and the lattice of consequence relations
- An epistemic interpretation of paraconsistent weak Kleene logic
- Variations on the collapsing lemma
- Left variable inclusion logics associated with classical logic
- Editorial introduction
- Logics of left variable inclusion and Płonka sums of matrices
- scientific article; zbMATH DE number 759538 (Why is no real title available?)
- Modal weak Kleene logics: axiomatizations and relational semantics
- A new game theoretic semantics (GTS-2) for weak Kleene logics
- Book review of: S. Bonzio, F. Paoli and M. P. Baldi, Logics of variable inclusion
- Modal weak Kleene logics through variables inclusion
- Containment logics: algebraic completeness and axiomatization
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication
- Defining LFIs and LFUs in extensions of infectious logics
- scientific article; zbMATH DE number 63609 (Why is no real title available?)
- Natural deduction systems for logics in the FDE family
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
This page was built for publication: Characterizing logical consequence in paraconsistent weak Kleene
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5215771)
