A Note on Ciuciura’s mbC1

• Autorzy: Hitoshi Omori
• Języki publikacji: EN

Abstrakty

EN

This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and (strong) completeness results with respect to the Hilbert-style proof system. Moreover, based on the new semantics, we briefly discuss an unexplored variant of mbC1 which has a contra-classical flavor.

Słowa kluczowe

EN

paraconsistent logic; non-deterministic semantics contra-classical logic

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2019
• Tom: 48
• Numer: 3
• Strony: 161-171

Daty

wydano

2019-10-30

Twórcy

autor

Hitoshi Omori

Identyfikatory

DOI

10.18778/0138-0680.48.3.01