\(\mathrm{IKT}^\omega\) and Łukasiewicz-models

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

zbMATH Keywords

inconsistencysoundness\(\omega\)-inconsistencyinfinitary sequentsmultiplicative quantifiersnon-contractive truthvacuous quantification

Mathematics Subject Classification ID

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)

MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations

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