Non-contingency in a paraconsistent setting

DOI10.1093/JIGPAL/JZAC081MaRDI QIDQ6639600zbMATH OpenFDO

Authors Daniil Kozhemiachenko, Liubov Vashentseva

Publication date 15 November 2024

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAC081

zbMATH Keywords

analytic cutexpressivityfirst-degree entailmentframe correspondencenon-contingency logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Almost necessary
• The logic of non-contingency
• Contingency and knowing whether
• Completeness and definability in the logic of noncontingency
• Neighborhood contingency logic

This page was built for publication: Non-contingency in a paraconsistent setting

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