Pages that link to "Item:Q5881275"
From MaRDI portal
The following pages link to An application of automated equational reasoning to many-valued logic (Q5881275):
Displaying 7 items.
- A framework for automated reasoning in multiple-valued logics (Q1272603) (← links)
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers (Q1697332) (← links)
- More proofs of an axiom of Łukasiewicz (Q1869612) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Automated deduction for many-valued logics (Q2751372) (← links)
- (Q3750118) (← links)