Conjunction in paraconsistent weak Kleene logic

MaRDI QIDQ5354796zbMATH OpenFDO

Authors Roberto Ciuni

Publication date 4 September 2017

zbMATH Keywords

paraconsistencyfusionconjunctionRoutley-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

(15)

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

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)