Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
From MaRDI portal
Publication:2649133
DOI10.1007/BF02054948zbMath0042.00605MaRDI QIDQ2649133
Publication date: 1951
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/160241
Related Items
An order-sorted logic for knowledge representation systems, Model theory of functors: Axiomatizability problems, On Skolemization in constrained logics