A robust non-transitive logic

DOI10.1007/s11245-013-9176-9zbMath1382.03044OpenAlexW2058917608MaRDI QIDQ1708468

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

contractionnon-transitive entailmentnaive set theoryclassical recapturenaive truth theory

Mathematics Subject Classification ID

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

Related Items (6)

‘Transitivity’ of Consequence Relations ⋮ One step is enough ⋮ The final cut ⋮ Non-transitive correspondence analysis ⋮ Blurring: an approach to conflation ⋮ WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS

Cites Work

• A model of tolerance
• How to be really contraction free
• Wright and Sainsbury on Higher-Order Vagueness
• Validity, Uncertainty and Vagueness
• Axiomatizing Kripke's theory of truth
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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