Pages that link to "Item:Q4924535"
From MaRDI portal
The following pages link to Quantifier-free logic for multialgebraic theories (Q4924535):
Displaying 8 items.
- Dynamic contact algebras and quantifier-free logics for space and time (Q1615744) (← links)
- Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics (Q1726317) (← links)
- (Q3369100) (← links)
- (Q3509173) (← links)
- (Q4375797) (← links)
- (Q5127336) (← links)
- Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (Q5271090) (← links)
- (Q5271676) (← links)