Recommendations
Cites work
- Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
- scientific article; zbMATH DE number 3122413 (Why is no real title available?)
- scientific article; zbMATH DE number 3241262 (Why is no real title available?)
- Logic of many-sorted theories
- On the definition of ‘formal deduction’
- The completeness of the first-order functional calculus
Cited in
(25)- A mechanical solution of Schubert's steamroller by many-sorted resolution
- Unification theory
- Order-sorted completion: The many-sorted way
- Semantics of order-sorted specifications
- An order-sorted logic for knowledge representation systems
- A resolution principle for constrained logics
- On Skolemization in constrained logics
- Unification in sort theories and its applications
- Quine's conjecture on many-sorted logic
- Translating a Dependently-Typed Logic to First-Order Logic
- scientific article; zbMATH DE number 3877158 (Why is no real title available?)
- On the Algebraization of Many-Sorted Logics
- A note on interpretations of many-sorted theories
- ON A CONSTRUCTION OF MANY-SORTED STRUCTURES
- Zum Aufbau Einer Mehrsortigen Elementaren Logik
- scientific article; zbMATH DE number 4002070 (Why is no real title available?)
- Dynamically-typed computations for order-sorted equational presentations
- R n - and G n -logics
- scientific article; zbMATH DE number 217097 (Why is no real title available?)
- Term rewriting systems with sort priorities
- scientific article; zbMATH DE number 3895312 (Why is no real title available?)
- scientific article; zbMATH DE number 7680806 (Why is no real title available?)
- Order-sorted logic programming with predicate hierarchy
- Multi-sorted logic and logical geometry: some problems.
- Equational completion in order-sorted algebras
This page was built for publication: Investigations in many-sorted quantor logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q774393)
