IKT! and Łukasiewicz-models

Andreas Fjellstad, Jan Fredrik Olsen

Forskningsoutput: TidskriftsbidragArtikel i vetenskaplig tidskriftPeer review

2 Citeringar (SciVal)


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.

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

Ämnesklassifikation (UKÄ)

  • Sannolikhetsteori och statistik


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

Citera det här