By switching to monoidal diagrammatic syntax and combining cartesian and linear bicategories, the calculus of neo-Peircean relations achieves complete axiomatization while matching the expressiveness of first-order logic.
Thus there exists ani∈Isuch thatid ◦ 0 ≲Ti id•
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
The calculus of neo-Peircean relations
By switching to monoidal diagrammatic syntax and combining cartesian and linear bicategories, the calculus of neo-Peircean relations achieves complete axiomatization while matching the expressiveness of first-order logic.