Logic of many-sorted theories
From MaRDI portal
Publication:5816105
DOI10.2307/2266241zbMath0049.14802WikidataQ57075068 ScholiaQ57075068MaRDI QIDQ5816105
Publication date: 1952
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2266241
Related Items
A non-reified temporal logic, An order-sorted logic for knowledge representation systems, Schrödinger logics, An order-sorted resolution in theory and practice