Publication:3495342
From MaRDI portal
zbMath0711.03006MaRDI QIDQ3495342
Publication date: 1989
Related Items
The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning, An order-sorted logic for knowledge representation systems, Completing sort hierarchies, The descriptive component of a hybrid knowledge representation language, On Skolemization in constrained logics, A typed resolution principle for deduction with conditional typing theory