Tableau calculus for order sorted logic
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Many-sorted unificationJournal of the ACM, 1988
- A more expressive formulation of many sorted logicJournal of Automated Reasoning, 1987
- Login: a logic programming language with built-in inheritanceThe Journal of Logic Programming, 1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- A polymorphic type system for prologArtificial Intelligence, 1984
- Logical WritingsPublished by Springer Nature ,1971
- First-Order LogicPublished by Springer Nature ,1968
- Untersuchungen zur mehrsortigen QuantorenlogikMathematische Annalen, 1962
- Partially Ordered SetsTransactions of the American Mathematical Society, 1937