A note on Ciuciura's mbC^1

DOI10.18778/0138-0680.48.3.01MaRDI QIDQ5126191zbMATH OpenOpenAlexFDO

Authors Hitoshi Omori

Publication date 15 October 2020

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

non-deterministic semantics contra-classical logicparaconsistent logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• scientific article; zbMATH DE number 823609
• scientific article; zbMATH DE number 6028054
• A natural negation completion of Urquhart's many-valued logic \(C\)
• Aspects of Paraconsistent Logic

Cites work

• Bilattice logics and demi-negation
• Formal inconsistency and evolutionary databases
• From paraconsistent logic to dialetheic logic
• scientific article; zbMATH DE number 5997431 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 3453564 (Why is no real title available?)
• scientific article; zbMATH DE number 2196614 (Why is no real title available?)
• Logics of formal inconsistency
• Multi-valued Calculi for Logics Based on Non-determinism
• Negation by iteration
• Non-deterministic Multiple-valued Structures
• On contra-classical variants of Nelson logic \textbf{N4} and its classical extension
• Paraconsistent double negations as classical and intuitionistic negations
• Paraconsistent heap. A hierarchy of \(\mathrm{mbC}^{n}\)-systems
• Sette's logics, revisited
• Some new results on PCL1 and its related systems
• The logic of conditional negation

Cited in

(5)

• On Ivlev's semantics for modality
• A modal axiomatization of \(\mathbf{BK}\)
• A Gödel-Dugundji-style theorem for the minimal structural logic
• Nondeterministic first-order T-BAT logic
• Boolean and modal connectives as primitives in non-deterministic semantics

This page was built for publication: A note on Ciuciura's \(\mathbf{mbC}^1\)

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