Pages that link to "Item:Q1915367"
From MaRDI portal
The following pages link to Logical quantizations of first-order structures (Q1915367):
Displaying 7 items.
- Logical quantizations of first-order structures (Q1915367) (← links)
- Empirical quantum mechanics (Q1919234) (← links)
- Logical quantization of topos theory (Q2365463) (← links)
- First-Order Queries on Finite Structures Over the Reals (Q4210130) (← links)
- Quantales and structural rules (Q4716049) (← links)
- Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words (Q6098157) (← links)
- Feferman-vaught decompositions for prefix classes of first order logic (Q6117143) (← links)