The Construction of an Implicational Normal Form

DOI10.4288/JAFPOS1956.4.151zbMATH Open0242.02007OpenAlexW2037642360MaRDI QIDQ5652642FDOQ5652642

Authors: Yoshimi Fujikawa 

Publication date: 1972

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos1956.4.151

Mathematics Subject Classification ID

Classical propositional logic (03B05)

This page was built for publication: The Construction of an Implicational Normal Form

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