A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens

DOI10.1002/MALQ.19820282202zbMATH Open0499.03007OpenAlexW1983411307MaRDI QIDQ3964529FDOQ3964529

Authors Alan Rose 

Publication date 1982

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

propositional calculi whose only primitive symbols are binary variable functors and the logical constant tpropositional calculi whose only primitive symbols are propositional variables and variable functors of n arguments

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

This page was built for publication: A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens

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