Matrix calculi SS1M and SS1I compared with axiomatic systems
From MaRDI portal
Publication:2558296
DOI10.1305/NDJFL/1093891308zbMath0254.02017OpenAlexW2044990810MaRDI QIDQ2558296
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
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