Involution as a basis for propositional calculi

DOI10.1305/NDJFL/1093891490MaRDI QIDQ1845871zbMATH OpenOpenAlexFDO

Authors Michael B. Smyth

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/1093891490

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) General logic (03B99)

This page was built for publication: Involution as a basis for propositional calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1845871)