Truth-value semantics for a logic of existence

DOI10.1305/ndjfl/1093894214zbMath0177.00901OpenAlexW2030680079MaRDI QIDQ2534160

Hugues Leblanc

Publication date: 1971

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

Full work available at URL: https://doi.org/10.1305/ndjfl/1093894214

zbMATH Keywords

truth-value semanticslogic of existence

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Related Items (1)

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

This page was built for publication: Truth-value semantics for a logic of existence