A Note on Ciuciura’s mbC1

Bulletin of the Section of Logic 48 (3):161-171 (2019)
  Copy   BIBTEX

Abstract

This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and 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.

Categories

Add categories

Keywords

Reprint years

DOI

10.18778/0138-0680.48.3.01

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,099

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Liberating classical negation from falsity conditions.Damian Szmuc & Hitoshi Omori - 2022 - Proceedings of the 52nd International Symposium on Multiple-Valued Logic (ISMVL 2022).
A Game Semantics for System P.J. Marti & R. Pinosio - 2016 - Studia Logica 104 (6):1119-1144.
Brief study of G'3 logic.Mauricio Osorio Galindo & José Luis Carballido Carranza - 2008 - Journal of Applied Non-Classical Logics 18 (4):475-499.
Łukasiewicz, Supervaluations and the Future.Greg Restall - 2005 - Logic and Philosophy of Science 3:1-10.
Plausibility, necessity and identity: A logic of relative plausibility.L. I. Xiaowu & W. E. N. Xuefeng - 2007 - Frontiers of Philosophy in China 2 (4):629-644.
A content semantics for quantified relevant logics. II.Ross T. Brady - 1989 - Studia Logica 48 (2):243 - 257.
An alternative proof of the Hilbert-style axiomatization for the $$\{\wedge,\vee \}$$ { ∧, ∨ } -fragment of classical propositional logic.Luciano J. González - 2022 - Archive for Mathematical Logic 61 (5):859-865.
Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton M. Peron - 2016 - Journal of Applied Non-Classical Logics 26 (4):336-345.
Kripke semantics and proof systems for combining intuitionistic logic and classical logic.Chuck Liang & Dale Miller - 2013 - Annals of Pure and Applied Logic 164 (2):86-111.
A Logic for Trial and Error Classifiers.Martin Kaså - 2015 - Journal of Logic, Language and Information 24 (3):307-322.

Analytics

Added to PP
2020-07-08

Downloads
18 (#1,257,945)

6 months
5 (#989,600)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Non-deterministic semantics for Families of Paraconsistent Logics.Arnon Avron - 2007 - School of Computer Science. Tel-Aviv University.

Add more references