Investigations in many-sorted quantor logic

DOI10.1007/BF01396685zbMath0101.25001WikidataQ57075064 ScholiaQ57075064MaRDI QIDQ774393

Arnold Oberschelp

Publication date: 1962

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/160913

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (14)

A resolution principle for constrained logics ⋮ Translating a Dependently-Typed Logic to First-Order Logic ⋮ On Skolemization in constrained logics ⋮ Unification in sort theories and its applications ⋮ Unification theory ⋮ Equational completion in order-sorted algebras ⋮ Term rewriting systems with sort priorities ⋮ Order-sorted completion: The many-sorted way ⋮ Dynamically-typed computations for order-sorted equational presentations ⋮ Semantics of order-sorted specifications ⋮ R n - and G n -logics ⋮ An order-sorted logic for knowledge representation systems ⋮ A mechanical solution of Schubert's steamroller by many-sorted resolution ⋮ Order-sorted logic programming with predicate hierarchy

Cites Work

• Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
• On the definition of ‘formal deduction’
• The completeness of the first-order functional calculus
• Logic of many-sorted theories
• Unnamed Item
• Unnamed Item

This page was built for publication: Investigations in many-sorted quantor logic