\(\mathrm{IKT}^\omega\) and Łukasiewicz-models
From MaRDI portal
Publication:1982009
DOI10.1215/00294527-2021-0012OpenAlexW3168223309MaRDI QIDQ1982009
Jan-Fredrik Olsen, Andreas Fjellstad
Publication date: 7 September 2021
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2011.06991
inconsistencysoundness\(\omega\)-inconsistencyinfinitary sequentsmultiplicative quantifiersnon-contractive truthvacuous quantification
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other infinitary logic (03C75)
Related Items (1)
Cites Work
- Unnamed Item
- Curry's paradox and \(\omega \)-inconsistency
- How truthlike can a predicate be? A negative result
- An axiomatic approach to self-referential truth
- Contraction, infinitary quantifiers, and omega paradoxes
- A system of complete and consistent truth
- Noncontractive classical logic
- Proof theory for fuzzy logics
- TRUTH WITHOUT CONTRA(DI)CTION
- A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION”
- The liar paradox and fuzzy logic
This page was built for publication: \(\mathrm{IKT}^\omega\) and Łukasiewicz-models