-inconsistency without cuts and nonstandard models

zbMATH Open1422.03122MaRDI QIDQ2966522FDOQ2966522

Authors: Andreas Fjellstad 

Publication date: 7 March 2017

Full work available at URL: http://ojs.victoria.ac.nz/ajl/article/view/3900/3543

Recommendations

• Truth without standard models: some conceptual problems reloaded
• Theories of truth which have no standard models
• scientific article; zbMATH DE number 2070199
• Theories of truth without standard models and Yablo's sequences
• Curry's paradox and \(\omega \)-inconsistency

zbMATH Keywords

semantic paradoxes\(\omega\)-inconsistencytheories of truthcut-free sequent calculusnonstandard models of arithmeticnon-transitive logics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Cited In (4)

• Contraction, infinitary quantifiers, and omega paradoxes
• Noncontractive classical logic
• A recovery operator for nontransitive approaches
• Truth without standard models: some conceptual problems reloaded

This page was built for publication: \(\omega\)-inconsistency without cuts and nonstandard models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2966522)