A lattice of the paracomplete calculi

DOI10.21146/2074-1472-2020-26-1-110-123OpenAlexW3047644048MaRDI QIDQ5061413

Janusz Ciuciura

Publication date: 12 January 2023

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2020-26-1-110-123

zbMATH Keywords

paracompletenesspara-consistent logicparacomplete logicconsequentia mirabilisweakly-intuitionistic logiclaw of exluded middleliteral-paracomplete logictertium nondatur

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cites Work

• Limits for paraconsistent calculi
• Theory of logical calculi. Basic theory of consequence operations
• Generalized correspondence analysis for three-valued logics
• Maximal weakly-intuitionistic logics
• Completeness theory for propositional logics
• Paraconsistent logic: consistency, contradiction and negation
• Combining Valuations with Society Semantics
• Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence
• Paraconsistency and Paracompleteness
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A lattice of the paracomplete calculi