Truth-value semantics and functional extensions for classical logic of partial terms based on equality

DOI10.1215/00294527-2688078zbMath1337.03018arXiv1112.6331OpenAlexW2077954219MaRDI QIDQ740205

Franco Parlamento

Publication date: 2 September 2014

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1112.6331

zbMATH Keywords

equalitypartial logicdescription and selection functionstruth-value semantics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Henkin’s Completeness Proof and Glivenko’s Theorem

Cites Work

• Semantic holism
• Truth-value semantics for a logic of existence
• In Memoriam: Hugues Leblanc March 19, 1924–September 10, 1999
• The consistency of arithmetics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Truth-value semantics and functional extensions for classical logic of partial terms based on equality