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 2019

Authors help

  1. 1 Szmuc D. E.

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  weak Kleene logic
help Sort By:

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

An Epistemic Interpretation of Paraconsistent Weak Kleene Logic

100%
Szmuc D. E.
Logic and Logical Philosophy
|
2019
|
vol. 28
|
issue 2
277-330
EN
This paper extends Fitting’s epistemic interpretation of some Kleene logics to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting’s “cut-down” operator is discussed, leading to the definition of a “track-down” operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations.
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.