Open Access
April 1974 A strong completeness theorem for $3$-valued logic.
H. Goldberg, H. Leblanc, G. Weaver
Notre Dame J. Formal Logic 15(2): 325-330 (April 1974). DOI: 10.1305/ndjfl/1093891310
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.15 • No. 2 • April 1974
Back to Top