Pages that link to "Item:Q3312231"
From MaRDI portal
The following pages link to Monadic representability of certain binary relations (Q3312231):
Displaying 5 items.
- First-order logic and first-order functions (Q497872) (← links)
- An intriguing logic with two implicational connectives (Q698537) (← links)
- Binary operations suffice to test collapsing of monoidal intervals (Q1272138) (← links)
- Representation of functions and total antisymmetric relations in monadic third order logic (Q2421520) (← links)
- (Q4344296) (← links)