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

DOI10.1305/NDJFL/1093891808MaRDI QIDQ758975zbMATH OpenOpenAlexFDO

Authors 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)

Cited in

(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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q758975)