Tableau methods for a logic with term declarations

DOI10.1006/JSCO.1999.0364MaRDI QIDQ5927986zbMATH OpenOpenAlexFDO

Authors P. J. Martin, A. Gavilanes, J. Leach

Publication date 19 March 2001

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.1999.0364

zbMATH Keywords

sorted unification calculusfree variable tableau methodslogics with term declarations

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1189105
• Simultaneous rigid sorted unification for tableaux
• scientific article; zbMATH DE number 1759378
• Free variable tableaux for propositional modal logics
• Logics in Artificial Intelligence

Cites work

• scientific article; zbMATH DE number 43237 (Why is no real title available?)
• scientific article; zbMATH DE number 834570 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• A more expressive formulation of many sorted logic
• An order-sorted logic for knowledge representation systems
• Computational aspects of an order-sorted logic with term declarations
• Proving termination with multiset orderings
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning

Cited in

(5)

• Simultaneous rigid sorted unification for tableaux
• scientific article; zbMATH DE number 1759378 (Why is no real title available?)
• A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux
• scientific article; zbMATH DE number 1612559 (Why is no real title available?)
• Shortcuts and dynamic marking in the tableau method for adaptive logics

This page was built for publication: Tableau methods for a logic with term declarations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5927986)