Pages that link to "Item:Q6488523"

The following pages link to Automatic theorem proving in paraconsistent logics: Theory and implementation (Q6488523):

Displaying 10 items.

• A case study in automated theorem proving: Finding sages in combinatory logic (Q1098333) (← links)
• Paraconsistent disjunctive deductive databases (Q1185011) (← links)
• Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers (Q1697332) (← links)
• Automatic reasoning in paraconsistent logic (Q2719629) (← links)
• Reasoning Support for Casl with Automated Theorem Proving Systems (Q3591069) (← links)
• The Paraconsistent Logics P<i>J</i> (Q3982863) (← links)
• (Q5186757) (← links)
• (Q5869518) (← links)
• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) (Q5946276) (← links)
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) (Q5946327) (← links)