scientific article; zbMATH DE number 6787706

zbMath1410.03009MaRDI QIDQ5365517

Peter Milne

Publication date: 6 October 2017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

contractionKleene's strong three-valued logiclogic of paradoxCraig interpolation lemmageneral elimination rulesLindenbaum-Henkin constructioncompleteness proof for classical first-order logicgeneral introduction rulesŁukasiewicz's infinite-valued logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Many-valued logic (03B50) Abstract deductive systems (03B22)

This page was built for publication: