scientific article; zbMATH DE number 1775515

MaRDI QIDQ4544342zbMATH OpenFDO

Authors Viorica Sofronie-Stokkermans

Publication date 4 August 2002

zbMATH Keywords

resolutiondistributive latticesmany-valued logicsPriestley dualityautomated theorem proving

Mathematics Subject Classification ID

Many-valued logic (03B50) Mechanization of proofs and logical operations (03B35) Lattices and duality (06D50)

Recommendations

• Resolution-based theorem proving for many-valued logics
• scientific article; zbMATH DE number 559756
• Publication:4503916
• scientific article; zbMATH DE number 1127072
• scientific article; zbMATH DE number 19150

Cited in

(12)

• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
• Resolution-based theorem proving for many-valued logics
• Automated theorem proving by resolution in non-classical logics
• Latticed simulation relations and games
• Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
• Binary resolution over Boolean lattices
• Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
• Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
• Latticed Simulation Relations and Games
• scientific article; zbMATH DE number 1507196 (Why is no real title available?)
• scientific article; zbMATH DE number 2072502 (Why is no real title available?)
• On the refutational completeness of signed binary resolution and hyperresolution

This page was built for publication:

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