A state-of-affairs-semantic solution to the problem of extensionality in free logic

DOI10.1007/S10992-020-09550-ZzbMath1485.03015OpenAlexW3007769619MaRDI QIDQ830394

Hans-Peter Leeb

Publication date: 7 May 2021

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

Full work available at URL: https://doi.org/10.1007/s10992-020-09550-z

zbMATH Keywords

free logicnon-existenceextensionalityextensionstates of affairs

Mathematics Subject Classification ID

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

Related Items (1)

States of Affairs as Structured Extensions in Free Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Truth-maker semantics for intuitionistic logic
• Proto-semantics for positive free logic
• Predication and extensionality
• State-of-affairs semantics for positive free logic
• Free Logic

This page was built for publication: A state-of-affairs-semantic solution to the problem of extensionality in free logic