Investigations in many-sorted quantor logic
From MaRDI portal
Publication:774393
DOI10.1007/BF01396685zbMath0101.25001WikidataQ57075064 ScholiaQ57075064MaRDI QIDQ774393
Publication date: 1962
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/160913
03-XX: Mathematical logic and foundations
Related Items
Term rewriting systems with sort priorities, 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