Simple characterization of functionally complete one-element sets of propositional connectives

DOI10.1002/malq.200610009zbMath1109.03005OpenAlexW2061266213MaRDI QIDQ3419673

Petar Maksimović, Predrag Janičić

Publication date: 7 February 2007

Published in: MLQ (Search for Journal in Brave)

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

zbMATH Keywords

propositional logicBoolean functionscomplete sets of connectivesfunctionally complete propositional connectives

Mathematics Subject Classification ID

Classical propositional logic (03B05)

This page was built for publication: Simple characterization of functionally complete one-element sets of propositional connectives