A more expressive formulation of many sorted logic
From MaRDI portal
Publication:1101261
DOI10.1007/BF00243207zbMath0642.68166MaRDI QIDQ1101261
Publication date: 1987
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
control; sorting; polymorphism; knowledge representation; LLAMA; many sorted logic; Schubert's steamroller; sort array
03B10: Classical first-order logic
Related Items
Tableau methods for a logic with term declarations, The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning, An order-sorted logic for knowledge representation systems, Exploiting lattices in a theory of space and time, Completing sort hierarchies, Unification in sort theories and its applications, Tesseral spatio-temporal reasoning for multi-dimensional data, A typed resolution principle for deduction with conditional typing theory, Resolution for label-based formulas in hierarchical representation