scientific article; zbMATH DE number 1775515

zbMATH Open1019.03003MaRDI QIDQ4544342FDOQ4544342

Viorica Sofronie-Stokkermans

Publication date: 4 August 2002

Title of this publication is not available (Why is that?)

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

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)

Cited In (12)

• Title not available (Why is that?)
• On the refutational completeness of signed binary resolution and hyperresolution
• Binary resolution over Boolean lattices
• Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
• Title not available (Why is that?)
• Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
• Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
• Resolution-based theorem proving for many-valued logics
• Automated theorem proving by resolution in non-classical logics
• LATTICED SIMULATION RELATIONS AND GAMES
• Latticed Simulation Relations and Games
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)

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)