A five-valued model of the E-p-q-theses
From MaRDI portal
Publication:1101104
DOI10.1305/ndjfl/1093637777zbMath0642.03021OpenAlexW2003610637MaRDI QIDQ1101104
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/1093637777
Related Items (2)
The shortest possible length of the longest implicational axiom ⋮ Algorithms for finding matrix models of propositional calculi
This page was built for publication: A five-valued model of the E-p-q-theses