A Note on Ciuciura’s mbC1

DOI10.18778/0138-0680.48.3.01zbMath1446.03061OpenAlexW3002088564MaRDI QIDQ5126191

Hitoshi Omori

Publication date: 15 October 2020

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.48.3.01

zbMATH Keywords

paraconsistent logicnon-deterministic semantics contra-classical logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of conditional negation
• Sette's logics, revisited
• Paraconsistent double negations as classical and intuitionistic negations
• Some new results on PCL1 and its related systems
• Non-deterministic Multiple-valued Structures
• Formal inconsistency and evolutionary databases
• Bilattice Logics and Demi-Negation
• Negation by iteration
• ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION
• Logics of Formal Inconsistency
• From Paraconsistent Logic to Dialetheic Logic
• Multi-valued Calculi for Logics Based on Non-determinism

This page was built for publication: A Note on Ciuciura’s mbC1