Identity and sortals (and Caesar)

DOI10.1007/S10670-016-9801-2zbMath1417.03077OpenAlexW2296759153MaRDI QIDQ1706776

Ansten Mørch Klev

Publication date: 28 March 2018

Published in: Erkenntnis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10670-016-9801-2

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Treatise on intuitionistic type theory
• Realizability and intuitionistic logic
• A formal theory of sortal quantification
• Defining ontological categories in an expansion of belief dynamics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Identity and sortals (and Caesar)