Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński

Logic and Logical Philosophy 17 (4):321-327 (2008)
  Copy   BIBTEX

Abstract

In this paper rejection systems for the “nonsense-logic” W and the k-valued implicational-negational sentential calculi of Sobociński are given. Considered systems consist of computable sets of rejected axioms and only one rejection rule: the rejection version of detachment rule

Categories

Keywords

Reprint years

2009

DOI

10.12775/llp.2008.018

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

Refutation Systems for a System of Nonsense-Logic.Robert Sochacki - 2011 - Logic and Logical Philosophy 20 (3):233-239.
Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic.Robert K. Meyer & Zane Parks - 1972 - Mathematical Logic Quarterly 18 (19‐20):291-295.
Axiomatization of the sentential logic dual to Sobocinski's n-valued logic.Anetta Górnicka - 2011 - Bulletin of the Section of Logic 40 (1/2):47-54.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Łukasiewicz logic and the foundations of measurement.Michael Katz - 1981 - Studia Logica 40 (3):209 - 225.
A note concerning the many-valued propositional calculi.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (2):127-128.
The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic.Ross T. Brady - 1972 - Notre Dame Journal of Formal Logic 13 (2):161-176.
Algebraiczna semantyka dla nihilistycznych rachunków zdań.Eugeniusz Żabski - 1993 - Filozofia Nauki 4.
On Axiomatization of Łukasiewicz's Four-Valued Modal Logic.Marcin Tkaczyk - 2011 - Logic and Logical Philosophy 20 (3):215-232.
Degrees of maximality of Łukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213 - 228.
A note on ${\bf R}$-Mingle and Sobociński's three-valued logic.R. Zane Parks - 1972 - Notre Dame Journal of Formal Logic 13 (2):227-228.
Finitely many-valued paraconsistent systems.Roman Tuziak - 1997 - Logic and Logical Philosophy 5:121-127.
Identity, many-valuedness and referentiality.Grzegorz Malinowski - 2013 - Logic and Logical Philosophy 22 (4):375-387.

Analytics

Added to PP
2013-11-24

Downloads
79 (#203,313)

6 months
7 (#339,156)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 575-597.

Add more citations

References found in this work

No references found.

Add more references