Simultaneous rigid sorted unification for tableaux

DOI10.1023/A:1020526008642MaRDI QIDQ1863821zbMATH OpenOpenAlexFDO

Authors A. Gavilanes, P. J. Martin

Publication date 12 March 2003

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1020526008642

zbMATH Keywords

sortsfree-variable tableauxsimultaneous rigid unification

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1759378
• Tableau methods for a logic with term declarations
• Unification in sort theories and its applications
• scientific article; zbMATH DE number 1330426
• scientific article; zbMATH DE number 67964

Cited in

(6)

• scientific article; zbMATH DE number 1759378 (Why is no real title available?)
• Uncrowding algorithm for hook-valued tableaux
• scientific article; zbMATH DE number 1612559 (Why is no real title available?)
• scientific article; zbMATH DE number 67964 (Why is no real title available?)
• Tableau methods for a logic with term declarations
• scientific article; zbMATH DE number 834570 (Why is no real title available?)

This page was built for publication: Simultaneous rigid sorted unification for tableaux

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