A basic system of paraconsistent Nelsonian logic of conditionals.

DOI10.1007/S10849-024-09421-9MaRDI QIDQ6661238zbMATH OpenFDO

Authors Grigory Olkhovikov

Publication date 13 January 2025

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10849-024-09421-9

zbMATH Keywords

conditional logicconstructive logicmodal logicparaconsistent logicstrong completenessstrong negation

Mathematics Subject Classification ID

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

Cites work

• A simplification of the logic of conditionals
• An introduction to non-classical logic. From if to is
• An intuitionistically complete system of basic intuitionistic conditional logic
• Basic conditional logic
• Connexive conditional logic. I
• Connexive logics. An overview and current trends
• Connexive modal logic
• Constructive negations and paraconsistency
• scientific article; zbMATH DE number 5000988 (Why is no real title available?)
• scientific article; zbMATH DE number 3706414 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• Neighbourhood semantics for FDE-based modal logics
• Notes on conditional logic

This page was built for publication: A basic system of paraconsistent Nelsonian logic of conditionals.

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