An inference engine for propositional two-valued logic based on the radical membership problem

DOI10.1007/3-540-61732-9_51zbMATH Open1541.68368MaRDI QIDQ6560374

E. Roanes-Macías, Luis M. Laita, E. Roanes-Lozano

Publication date: 21 June 2024

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logical aspects of Boolean algebras (03G05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Refutational theorem proving using term-rewriting systems
• A formal model for verification of dynamic consistency of KBSs

This page was built for publication: An inference engine for propositional two-valued logic based on the radical membership problem

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