Conjunction in paraconsistent weak Kleene logic

MaRDI QIDQ5354796zbMATH OpenFDO

Authors Roberto Ciuni

Publication date 4 September 2017

zbMATH Keywords

conjunctionfusionparaconsistencyRoutley-Meyer semanticsweak Kleene logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Recommendations

• Proof theory of paraconsistent weak Kleene logic
• Characterizing logical consequence in paraconsistent weak Kleene
• Semantical analysis of weak Kleene logics
• An epistemic interpretation of paraconsistent weak Kleene logic
• Extensions of paraconsistent weak Kleene logic

Cited in

(16)

• Proof theory of paraconsistent weak Kleene logic
• Weak conjunctions of identities
• Variations on the collapsing lemma
• Logical Weak Completions of Paraconsistent Logics
• Defining LFIs and LFUs in extensions of infectious logics
• On Priest's logic of paradox
• Exactly true and non-falsity logics meeting infectious ones
• Extensions of paraconsistent weak Kleene logic
• An epistemic interpretation of paraconsistent weak Kleene logic
• Characterizing logical consequence in paraconsistent weak Kleene
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• Semantical analysis of weak Kleene logics
• On the three-valued expansions of Kleene's logic
• Three-valued generalizations of classical logic in weak languages: the degree of maximality
• A new game theoretic semantics (GTS-2) for weak Kleene logics
• On duality of logical systems: paralogics

This page was built for publication: Conjunction in paraconsistent weak Kleene logic

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