The following pages link to (Q4899541):
Displaying 4 items.
- Many-sorted first-order composition-nominative logic as institution (Q1650348) (← links)
- Composition nominative logics of equitone predicates (Q2737328) (← links)
- Common Logic of 2‐Valued Semigroup Connectives (Q3982865) (← links)
- The Two-Valued Iterative Systems of Mathematical Logic. (AM-5) (Q5845380) (← links)