Logic of many-sorted theories

DOI10.2307/2266241zbMath0049.14802OpenAlexW2160937552WikidataQ57075068 ScholiaQ57075068MaRDI QIDQ5816105

Hao Wang

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

zbMATH Keywords

philosophy and foundations of mathematics

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

• Über deduktive Theorien mit mehreren Sorten von Grunddingen

This page was built for publication: Logic of many-sorted theories