A robust non-transitive logic

DOI10.1007/S11245-013-9176-9MaRDI QIDQ1708468zbMATH OpenOpenAlexFDO

Authors Alan Weir

Publication date 23 March 2018

Published in Topoi (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11245-013-9176-9

zbMATH Keywords

classical recapturecontractionnaive set theorynaive truth theorynon-transitive entailment

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Other nonclassical logic (03B60)

Recommendations

• Naïve set theory, paraconsistency and indeterminacy. I
• Conservatively extending classical logic with transparent truth
• Naive set theory and nontransitive logic
• Naive set theory with extensionality in partial logic and in paradoxical logic
• Restriction by noncontraction

Cites work

• A model of tolerance
• Axiomatizing Kripke's theory of truth
• How to be really contraction free
• scientific article; zbMATH DE number 4016861 (Why is no real title available?)
• scientific article; zbMATH DE number 3957253 (Why is no real title available?)
• Saving truth from paradox
• Truth through proof. A formalist foundation for mathematics
• Validity, Uncertainty and Vagueness
• Wright and Sainsbury on Higher-Order Vagueness

Cited in

(14)

• Blurring: an approach to conflation
• Non-deterministic conditionals and transparent truth
• One step is enough
• The final cut
• Naïve set theory, paraconsistency and indeterminacy. I
• Restriction by noncontraction
• Conservatively extending classical logic with transparent truth
• Naive set theory and nontransitive logic
• ``Transitivity of consequence relations
• Weak disharmony: some lessons for proof-theoretic semantics
• Non-transitive correspondence analysis
• Variable-sharing as relevance
• An inferentialist approach to Mates's puzzle
• Towards a quantum logic of paradox

This page was built for publication: A robust non-transitive logic

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