Logo Logo
Hilfe
Hilfe
Switch Language to English

Antunes, Henrique; Carnielli, Walter; Kapsner, Andreas und Rodrigues, Abilio (2020): Kripke-Style Models for Logics of Evidence and Truth. In: Axioms, Bd. 9, Nr. 3: S. 1-16 [PDF, 350kB]

[thumbnail of axioms-09-00100-v3.pdf]
Vorschau
Download (350kB)

Abstract

In this paper, we propose Kripke-style models for the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson’s logic N4 and the logic of first-degree entailment (FDE) with a classicality operator ∘ that recovers classical logic for formulas in its scope. According to the intended interpretation here proposed, these models represent a database that receives information as time passes, and such information can be positive, negative, non-reliable, or reliable, while a formula ∘A means that the information about A, either positive or negative, is reliable. This proposal is in line with the interpretation of N4 and FDE as information-based logics, but adds to the four scenarios expressed by them two new scenarios: reliable (or conclusive) information (i) for the truth and (ii) for the falsity of a given proposition.

Dokument bearbeiten Dokument bearbeiten