On Non-transitive “Identity”

DOI10.1007/978-3-030-25365-3_25zbMath1469.03083OpenAlexW2996900836MaRDI QIDQ3305680

Heinrich Wansing, Daniel Skurt

Publication date: 10 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-25365-3_25

zbMATH Keywords

transitivityidentityLeibniz's lawHenkin-style completeness proofsminimal second-order LPship of Theseus

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Higher-order logic (03B16)

Related Items (2)

A novel approach to equality ⋮ Non-transitive correspondence analysis

Cites Work

• Wittgensteinian predicate logic
• Truth and falsehood. An inquiry into generalized logical values
• Constructive negations and paraconsistency
• The slingshot argument and sentential identity
• Wittgensteinian tableaux, identity, and co-denotation
• Minimally inconsistent LP
• Second-order logic of paradox
• IDENTITY AND INDISCERNIBILITY
• REASSURANCE FOR THE LOGIC OF PARADOX
• Constructive negation, implication, and co-implication
• Constructible falsity and inexact predicates
• Non-extensional equality
• Priest’s Motorbike and Tolerant Identity
• Logic and structure
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On Non-transitive “Identity”