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

Years help

  1. 1 2017

Authors help

  1. 1 Karpenko A.

  2. 1 Tomova N.

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  paranormal logic TK1
help Sort By:

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

Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence

100%
Karpenko A., Tomova N.
Logic and Logical Philosophy
|
2017
|
vol. 26
|
issue 2
207–235
EN
In the present paper, various features of the class of propositional literal paralogics are considered. Literal paralogics are logics in which the paraproperties such as paraconsistence, paracompleteness and paranormality, occur only at the level of literals; that is, formulas that are propositional letters or their iterated negations. We begin by analyzing Bochvar’s three-valued nonsense logic B3 , which includes two isomorphs of the propositional classical logic CPC. The combination of these two ‘strong’ isomorphs leads to the construction of two famous paralogics P1 and I1, which are functionally equivalent. Moreover, each of these logics is functionally equivalent to the fragment of logic B3 consisting of external formulas only. In conclusion, we structure a four-element lattice of three-valued paralogics with respect to the possession of paraproperties.
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.