On the question of the criteria for the paracompleteness of logics

DOI10.21146/2074-1472-2023-29-2-104-124OpenAlexW4388531264MaRDI QIDQ6143290

Natal'Ya Evgen'Evna Tomova

Publication date: 23 January 2024

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

Full work available at URL: https://doi.org/10.21146/2074-1472-2023-29-2-104-124

zbMATH Keywords

law of excluded middleparacompletenessimplosive consequence relationlaw clavius

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Towards paraconsistent engineering
• The logic of paradox
• Generalized correspondence analysis for three-valued logics
• Paraconsistent logic from a modal viewpoint
• Maximal weakly-intuitionistic logics
• Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case
• Recovery operators, paraconsistency and duality
• Paraconsistency and Paracompleteness
• On the strongest three-valued paraconsistent logic contained in classical logic and its dual

This page was built for publication: On the question of the criteria for the paracompleteness of logics