prototheticsn.
/ˌprəʊtə(ʊ)ˈθɛtɪks/, U.S. /ˌproʊdəˈθɛdɪks/ Logic.
= protothetic n.
ΘΚΠ
the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > mathematical or symbolic logic > protothetics
protothetic1940
protothetics1953
1953 J. Słupecki (title) St. Leśniewski's protothetics.
1963 O. Wojtasiewicz tr. J. Łukasiewicz Elem. Math. Logic iv. 92 The sentential calculus can be extended by the introduction of variable functors and what are called quantifiers. One such system, containing the sentential calculus, is S. Leśniewski's protothetics.
2001 Bull. Symbolic Logic 7 163 (title) On the relationship between intuitionistic propositional logic and intuitionistic protothetics.
This entry has been updated (OED Third Edition, September 2007; most recently modified version published online March 2022).
<
n.1953- sharpthorned
- sharptoed
- sharptongued
- sharptoothed
- sharptopped
- sharptuesday
- sharpvisaged
- shaft ladder
- shaft mouth
- shaft of delight
- shaft out
- shaft pillar
- shaft sinking
- shaft tomb
- shaft tug
- shaft turbine
- shaft work
- shaft-alley
- shaft-architecture
- shaft-arm
- shaft-armed
- shaft-bar
- shaft-bearing
- shaft-bender
- shaft-bolt