Pages that link to "Item:Q1372940"
From MaRDI portal
The following pages link to Relations in monadic third-order logic (Q1372940):
Displaying 6 items.
- Representation of functions and total antisymmetric relations in monadic third order logic (Q2421520) (← links)
- Relationships between Connectives in Three-Valued Logics (Q3143148) (← links)
- Monadic representability of certain binary relations (Q3312231) (← links)
- Logical relations for monadic types (Q3545276) (← links)
- Uniformization and skolem functions in the class of trees (Q4391426) (← links)
- (Q4411847) (← links)