The following pages link to (Q4450446):
Displaying 7 items.
- First-order satisfiability in Gödel logics: an NP-complete fragment (Q650893) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss (Q4646655) (← links)
- ON LOWER BOUNDS FOR COMPLEXITY OVER INFINITE BASISES FOR FUNCTIONS OF MULTI-VALUED LOGIC (Q5150696) (← links)
- Natural dualities for varieties of MV-algebras. I (Q5929367) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)