A basic system of paraconsistent Nelsonian logic of conditionals.

DOI10.1007/S10849-024-09421-9MaRDI QIDQ6661238

Grigory Olkhovikov

Publication date: 13 January 2025

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

zbMATH Keywords

modal logicconstructive logicconditional logicparaconsistent logicstrong negationstrong completeness

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Notes on conditional logic
• Constructive negations and paraconsistency
• A simplification of the logic of conditionals
• Basic conditional logic
• Neighbourhood semantics for FDE-based modal logics
• Connexive logics. An overview and current trends
• Connexive Conditional Logic. Part I
• An intuitionistically complete system of basic intuitionistic 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)