A Note on Formalisation by the Method of Description of Truth-Tables

DOI10.1002/MALQ.19780240703MaRDI QIDQ4174673zbMATH OpenOpenAlexFDO

Authors Alan Rose

Publication date 1978

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19780240703

zbMATH Keywords

Propositional CalculiImplicationFunctionally CompleteMaterial EquivalenceTruth-Tables

Mathematics Subject Classification ID

Classical propositional logic (03B05)

This page was built for publication: A Note on Formalisation by the Method of Description of Truth-Tables

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