Free-variable tableaux for monotonic preorders

DOI10.1093/JIGPAL/9.6.813MaRDI QIDQ3147362zbMATH OpenOpenAlexFDO

Authors P. J. Martin, A. Gavilanes

Publication date 22 April 2003

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/9.6.813

zbMATH Keywords

preordersfree-variable tableaux

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1612559
• scientific article; zbMATH DE number 1113860
• Toward a theory of monomial preorders
• scientific article; zbMATH DE number 1765699
• Ordered tableaux: extensions and applications
• Representing preorders with injective monotones
• scientific article; zbMATH DE number 1341483
• Free variable tableaux for propositional modal logics
• Rosser orderings and free variables
• Free-variable tableaux for propositional modal logics

Cited in

(3)

• Reasoning with preorders and dynamic sorts using free variable tableaux
• scientific article; zbMATH DE number 1612559 (Why is no real title available?)
• Logics in Artificial Intelligence

This page was built for publication: Free-variable tableaux for monotonic preorders

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