Logic of many-sorted theories
From MaRDI portal
Publication:5816105
DOI10.2307/2266241zbMath0049.14802OpenAlexW2160937552WikidataQ57075068 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 (21)
A complete semantics of \(\mathbb{K}\) and its translation to Isabelle ⋮ Schrödinger logics ⋮ Mathematical properties common in all mechanism models of chemical reactions ⋮ Automatic synthesis of logical models for order-sorted first-order theories ⋮ An order-sorted resolution in theory and practice ⋮ Foundations of applied mathematics. I ⋮ Local confluence of conditional and generalized term rewriting systems ⋮ Unnamed Item ⋮ A theory of restricted quantification I ⋮ Automatic theorem proving. II ⋮ The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques ⋮ A non-reified temporal logic ⋮ An order-sorted logic for knowledge representation systems ⋮ Syllogism and quantification ⋮ Characterizing Mal'cev conditions ⋮ Proving semantic properties as first-order satisfiability ⋮ Automatic generation of logical models with AGES ⋮ Investigations in many-sorted quantor logic ⋮ A mechanical solution of Schubert's steamroller by many-sorted resolution ⋮ Neo-Logicism and Its Logic ⋮ Order-sorted logic programming with predicate hierarchy
Cites Work
This page was built for publication: Logic of many-sorted theories
