Matrix calculi SS1M and SS1I compared with axiomatic systems

DOI10.1305/NDJFL/1093891308zbMath0254.02017OpenAlexW2044990810MaRDI QIDQ2558296

Johannes Czermak

Publication date: 1974

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093891308

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Intermediate logics (03B55)

This page was built for publication: Matrix calculi SS1M and SS1I compared with axiomatic systems