Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Logic and Logical Philosophy

Authors help

  1. 1 Ciuciura J.

Years help

  1. 1 2015

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  P1
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

Paraconsistency and Sette’s calculus P1

100%
Ciuciura J.
Logic and Logical Philosophy
|
2015
|
vol. 24
|
issue 2
265–273
EN
In 1973, Sette presented a calculus, called P1, which is recognized as one of the most remarkable paraconsistent systems. The aim of this paper is to propose a new axiomatization of P1. The axiom schemata are chosen to show that P1 behaves in a paraconsistent way only at the atomic level, i.e. the rule: α, ~α / β holds in P1 only if α is not a propositional variable.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.