IKT! and Łukasiewicz-models

Andreas Fjellstad, Jan Fredrik Olsen

Forskningsoutput: TidskriftsbidragArtikel i vetenskaplig tidskriftPeer review

2 Citeringar (SciVal)

Sammanfattning

In this note, we show that the first-order logic IK! is sound with regard to the models obtained from continuum-valued Łukasiewicz-models for first-order languages by treating the quantifiers as infinitary strong disjunction/conjunction rather than infinitary weak disjunction/conjunction. Moreover, we show that these models cannot be used to provide a new consistency proof for the theory of truth IKT! obtained by expanding IK! with transparent truth, because the models are inconsistent with transparent truth. Finally, we show that whether or not this inconsistency can be reproduced in the sequent calculus for IKT! depends on how vacuous quantification is treated.

Originalspråkengelska
Sidor (från-till)247-256
Antal sidor10
TidskriftNotre Dame Journal of Formal Logic
Volym62
Nummer2
DOI
StatusPublished - 2021 maj

Ämnesklassifikation (UKÄ)

  • Sannolikhetsteori och statistik

Fingeravtryck

Utforska forskningsämnen för ”IKT! and Łukasiewicz-models”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här