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