A five-valued model of the E-p-q-theses
From MaRDI portal
Publication:1101104
DOI10.1305/ndjfl/1093637777zbMath0642.03021MaRDI 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
03B99: General logic
Related Items
Algorithms for finding matrix models of propositional calculi, The shortest possible length of the longest implicational axiom