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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,010

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.
Axiomatic rejection in the implicational-negational invariant sentential calculi of Lukasiewicz.Robert Sochacki - 2007 - Bulletin of the Section of Logic 36 (1/2):1-6.
Bolesław Sobociński. A note concerning the many-valued propositional calculi. Notre Dame journal of formal logic, vol. 2 , pp. 127–128. [REVIEW]Atwell R. Turquette - 1966 - Journal of Symbolic Logic 31 (1):117-117.
Sequent-type rejection systems for finite-valued non-deterministic logics.Martin Gius & Hans Tompits - 2023 - Journal of Applied Non-Classical Logics 33 (3):606-640.
Review: Boleslaw Sobocinski, Axiomatization of Certain many-Valued Systems of the Theory of Deduction. [REVIEW]Alfred Tarski - 1937 - Journal of Symbolic Logic 2 (2):93-93.
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.
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.
S-algebras For N-valued Sentential Calculi Of Lukasiewicz.Grzegorz Malinowski - 1974 - Bulletin of the Section of Logic 3 (2):25-30.
Some Remarks On Three-valued Implicative Sentential Calculi.Teresa Zakrzewska - 1976 - Bulletin of the Section of Logic 5 (1):9-11.

Analytics

Added to PP
2013-11-24

Downloads
101 (#209,338)

6 months
11 (#345,260)

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