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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,873

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

Axiomatizing Jaśkowski’s Discussive Logic $$\mathbf {D_2}$$ D 2.Hitoshi Omori & Jesse Alama - 2018 - Studia Logica 106 (6):1163-1180.
Intuitionistic discursive system (ids).Janusz Ciuciura - 2000 - Bulletin of the Section of Logic 29 (1/2):57-62.
“Labelled tableaux for D2”.Janusz Ciuciura - 2004 - Bulletin of the Section of Logic 33 (4):223-235.
Paraconsistency and Sette’s calculus P1.Janusz Ciuciura - 2015 - Logic and Logical Philosophy 24 (2).
Professor Grzegorz Malinowski in Honorem.Andrzej Indrzejczak & Janusz Ciuciura - 2017 - Bulletin of the Section of Logic 46 (1/2).
A Game Semantics for System P.J. Marti & R. Pinosio - 2016 - Studia Logica 104 (6):1119-1144.
On The Da Costa, Dubikajtis And Kotas’ System Of The Discursive Logic, D2.Janusz Ciuciura - 2005 - Logic and Logical Philosophy 14:235-252.
Negations in the adjunctive discursive logic.Janusz Ciuciura - 2008 - Bulletin of the Section of Logic 37 (3/4):143-160.
Frontiers of the discursive logic.Janusz Ciuciura - 2008 - Bulletin of the Section of Logic 37 (2):81-92.
On the system CB1 and a lattice of the paraconsistent calculi.Janusz Ciuciura - forthcoming - Logic and Logical Philosophy:1.
On the da Costa, Dubikajtis and Kotas' system of the discursive logic, D* 2.Janusz Ciuciura - 2005 - Logic and Logical Philosophy 14 (2):235-252.
Logika dyskusyjna.J. Ciuciura - 2003 - Principia 35:36.
A Quasi-Discursive System $ND_2^+$.Janusz Ciuciura - 2006 - Notre Dame Journal of Formal Logic 47 (3):371-384.
A content semantics for quantified relevant logics. II.Ross T. Brady - 1989 - Studia Logica 48 (2):243 - 257.
A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.

Analytics

Added to PP
2020-07-08

Downloads
9 (#1,275,915)

6 months
3 (#1,036,110)

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

Add more references