Paths to triviality

DOI10.1007/s10992-015-9374-6zbMath1392.03038OpenAlexW913661112MaRDI QIDQ300832

Tore Fjetland Øgaard

Publication date: 29 June 2016

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10852/59328

zbMATH Keywords

contractionrelevant logicidentityparaconsistent logicCurry's paradoxLeibniz's lawnaïve set theorynaïve truth theory

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (5)

Paraconsistent metatheory: new proofs with old tools ⋮ Farewell to suppression-freedom ⋮ SUBSTITUTION IN RELEVANT LOGICS ⋮ Structural weakening and paradoxes ⋮ An incompleteness theorem for modal relevant logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Curry's paradox and \(\omega \)-inconsistency
• The simple consistency of naive set theory using metavaluations
• Logical consequence and the paradoxes
• The consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz
• Relevant restricted quantification
• Extensionality and restriction in naive set theory
• The simple consistency of a set theory based on the logic CSQ
• A consistent theory of attributes in a logic without contraction
• Saving the truth schema from paradox
• Prospects for a naive theory of classes
• Paradoxes of logical equivalence and identity
• A revenge-immune solution to the semantic paradoxes
• A new conditional for naive truth theory
• On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
• Studies on the axiom of comprehension
• Investigations on a comprehesnion axiom without negation in the defining propositional functions
• NAIVE TRUTH AND RESTRICTED QUANTIFICATION: SAVING TRUTH A WHOLE LOT BETTER
• COMMENTS ON MARTIN’S AND WELCH’S COMMENTS
• Positive abstraction and extensionality
• NAIVE SET THEORY AND NONTRANSITIVE LOGIC
• Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet
• A Set Theory Based on a Certain 3-Valued Logic.
• Entailment and relevance¹
• PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
• Outline of a Theory of Truth
• Assertion, Denial and Non-classical Theories
• Some remarks on Cantor-Lukasiewicz fuzzy set theory
• The liar paradox and fuzzy logic
• Logical paradoxes for many-valued systems
• The inconsistency of certain formal logics

This page was built for publication: Paths to triviality