Refutation Systems for a System of Nonsense-Logic

Logic and Logical Philosophy 20 (3):233-239 (2011)
  Copy   BIBTEX

Abstract

In the paper rejection systems for a system of nonsense-logic are investigated. The first rejection system consists of four rejected axioms and only one rejection rule  the rule of rejection by detachment. The second one consists of one rejected axiom and two rejection rules: the rule of rejection by detachment and the rule of rejection by substitution. The aim of the paper is to present also a proof of Ł-decidability for the considered systems

Categories

Keywords

Reprint years

DOI

10.12775/llp.2011.013

Links

PhilArchive



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

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

Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński.Robert Sochacki - 2008 - Logic and Logical Philosophy 17 (4):321-327.
The RM paraconsistent refutation system.Tomasz Skura - 2009 - Logic and Logical Philosophy 18 (1):65-70.
Remarks on Axiomatic Rejection in Aristotle’s Syllogistic.Piotr Kulicki - 2002 - Studies in Logic and Theory of Knowledge 5:231-236.
On Pairs of Dual Consequence Operations.Urszula Wybraniec-Skardowska & Jacek Waldmajer - 2011 - Logica Universalis 5 (2):177-203.
Logics of rejection: two systems of natural deduction.Allard Tamminga - 1994 - Logique Et Analyse 146:169-208.
On Refutation Rules.Tomasz Skura - 2011 - Logica Universalis 5 (2):249-254.
The use of axiomatic rejection.Piotr Kulicki - 2000 - In Logica yearbook 1999. Filosophia.
Thoroughly Relativistic Perspectives.Mark Ressler - 2012 - Notre Dame Journal of Formal Logic 53 (1):89-112.
A refutation theory.Tomasz Skura - 2009 - Logica Universalis 3 (2):293-302.
Characteristic properties of FPTP systems.Eliora van der Hout & Harrie de Swart - 2010 - Theory and Decision 68 (3):325-340.
Refutation systems in modal logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
Two natural deduction systems for hybrid logic: A comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.

Analytics

Added to PP
2013-11-24

Downloads
22 (#650,553)

6 months
2 (#1,015,942)

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