Refutation Systems for a System of Nonsense-Logic

Apply

Refutation Systems for a System of Nonsense-Logic

Journal Title: Logic and Logical Philosophy - Year 2011, Vol 20, Issue 3

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.

Authors and Affiliations

Robert Sochacki

Keywords

Trivial Dialetheism and the Logic of Paradox

In this paper we explain that the paraconsistent logic LP (Logic of Paradox) promoted by Graham Priest can only be supported by trivial dialetheists, i.e., those who believe that all sentences are dialetheias.

The mereology of structural universals

This paper explores the mereology of structural universals, using the structural richness of a non-classical mereology without unique fusions. The paper focuses on a problem posed by David Lewis, who using the example of...

Refutation Systems for a System of Nonsense-Logic

Relational semantics for the 4-valued relevant logics BN4 and E4

The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The a...

On some extensions of the class of MV-algebras

In the present paper we will ask for the lattice L(MVEx) of subvarieties of the variety defined by the set Ex(MV) of all externally compatible identities valid in the variety MV of all MV-algebras. In particular, we will...

EP ID EP86260
DOI 10.12775/LLP.2011.013
Views 82
Downloads 0