Live briefing
Everything about Functional completeness
Concept in mathematical logic
In logic, a functionally complete set of logical connectives or Boolean operators is one that can be used to express all possible truth tables by combining members of the set into a Boolean expression. A well-known complete set of connectives is { AND, NOT }. Each of the singleton sets { NAND } and { NOR } is functionally complete. However, the set { AND, OR } is incomplete, due to its inability to express NOT. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Functional completenessA 5-minute orientation
- Skim a recent paper: Functional completeness of planar Rydberg blockade structuresInfluential work since 2022
- Pick up a classic book: Funkcje rekurencyjne i elementy metamatematykiThe most-reprinted book on the subject
- Read the landmark paper: Complex brain networks: graph theoretical analysis of structural and functional systemsCited 10,598 times
- Go sideways: Logical NORA closely related topic
- Go sideways: Sheffer strokeA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🏆 Landmark papers (most cited)
Complex brain networks: graph theoretical analysis of structural and functional systems
The completeness of the first-order functional calculus
Impact of microbial genome completeness on metagenomic functional inference
Completeness and F-completeness of eigenfunctions associated with retarded functional differential equations
Functional completeness of cartesian categories
Generalizing Functional Completeness in Belnap-Dunn Logic
FUNCTIONAL PEARL Linear lambda calculus and PTIME-completeness
Embedded functional dependencies and data-completeness tailored database design
🆕 Influential since 2022
Functional completeness of planar Rydberg blockade structures
Assessment of reporting completeness in acupuncture studies on patients with functional constipation using the STRICTA guidelines
Proof-Theoretic Functional Completeness for the Connexive Logic C
Functional or Anatomical Completeness of Revascularization After Coronary Artery Bypass Grafting
Functional completeness and primitive positive decomposition of relations on finite domains
📚 Books worth reading
Funkcje rekurencyjne i elementy metamatematykiRoman Murawski · 1990
Metric SpacesSudhir K. Pundir, Rimple Pundir · 2025- 📕Recent Progress on Operator Theory and Approximation in Spaces of Analytic FunctionsCatherine Beneteau, Alberto A. Condori · 2017
- 📕Algebraic and analytic aspects of integrable systems and painleve equationsAnton Dzhamay, Ken'ichi Maruno · 2015
Algebraic And Geometric Aspects Of Integrable Systems And Random Matrices Ams Special Session Algebraic And Geometric Aspects Of Integrable Systems And Random Matrices January 67 2012 Boston MaAlgebraic and · 2013- 📕Tropical geometry and integrable systemsConference on Tropical Geometry and Integrable Systems (2011 Glasgow, Scotland) · 2012
- 📕Commutative AlgebraNicholas R. Baeth, Thiago H. Freitas · 2021
- 📕Experimental mathematicsArnolʹd, V. I. · 2015
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Logical NOR In Boolean logic, logical NOR, non-disjunction, or joint denial is a truth-functional operator which produces a result that is the negation of logical…
- Sheffer stroke In Boolean functions and propositional calculus, the Sheffer stroke denotes a logical operation that is equivalent to the negation of the conjunction operation…
- Logical connective In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is an operator that combines or modifies…
- Truth function In logic, a truth function is a function that accepts truth values as input and produces a unique truth value as output. In other words: the input and…
- List of Boolean algebra topics This is a list of topics around Boolean algebra and propositional logic. Algebra of sets Boolean algebra (structure) Boolean algebra Field of sets Logical…
- Henry M. Sheffer Henry Maurice Sheffer (1 September 1882 – 17 March 1964) was an American logician. Sheffer was a Polish Jew born in Odessa who immigrated to the U.S. in…
- Truth table A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, Boolean functions, and propositional calculus—which…
- Outline of logic Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic…