Pages that link to "Item:Q2649133"
From MaRDI portal
The following pages link to Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik (Q2649133):
Displaying 13 items.
- Investigations in many-sorted quantor logic (Q774393) (← links)
- A mechanical solution of Schubert's steamroller by many-sorted resolution (Q1060859) (← links)
- Some algorithmic problems for projective planes (Q1073331) (← links)
- An order-sorted logic for knowledge representation systems (Q1193487) (← links)
- Characterizing Mal'cev conditions (Q1216327) (← links)
- Model theory of functors: Axiomatizability problems (Q1361202) (← links)
- On Skolemization in constrained logics (Q1380406) (← links)
- Quine's conjecture on many-sorted logic (Q1708876) (← links)
- A theory of restricted quantification I (Q3249762) (← links)
- Nonhomogeneous Polyadic Algebras (Q3288998) (← links)
- (Q5528633) (← links)
- MORITA EQUIVALENCE (Q5737954) (← links)
- Remark on complete interpretations by models (Q5825666) (← links)
