Theconfirmation of sentences by instances with different truth-values of its atoms

DOI10.1305/NDJFL/1093891808zbMath0272.02018OpenAlexW2020229702MaRDI QIDQ758975

W. A. Verloren van Themaat

Publication date: 1975

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

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

Mathematics Subject Classification ID

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

Related Items (1)

Research in machine translation (1970-1974)

This page was built for publication: Theconfirmation of sentences by instances with different truth-values of its atoms