Involution as a basis for propositional calculi

DOI10.1305/NDJFL/1093891490zbMATH Open0286.02026OpenAlexW2001238461MaRDI QIDQ1845871FDOQ1845871

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)