Infinite truth-functional logic

DOI10.1305/NDJFL/1093637768zbMath0648.03003OpenAlexW2068350928MaRDI QIDQ1104912

Theodore Hailperin

Publication date: 1988

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

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

zbMATH Keywords

first-order quantifier logicinfinite conjunctionsemantical theory of quantifierstruth-functional logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Related Items (1)

Herbrand semantics, the potential infinite, and ontology-free logic

This page was built for publication: Infinite truth-functional logic