Pages that link to "Item:Q1272603"
From MaRDI portal
The following pages link to A framework for automated reasoning in multiple-valued logics (Q1272603):
Displaying 19 items.
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- Binary resolution over Boolean lattices (Q853473) (← links)
- Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) (Q867665) (← links)
- On the refutational completeness of signed binary resolution and hyperresolution (Q1037933) (← links)
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers (Q1697332) (← links)
- \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality (Q2156971) (← links)
- Multi-valued logic in graph transformation theory and self-adaptive systems (Q2294579) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Fuzzy logic from the viewpoint of machine intelligence (Q2492313) (← links)
- Resolution procedures for multiple-valued optimization (Q2510176) (← links)
- On defining multiple-valued logics for knowledge-based systems communication (Q2744239) (← links)
- Automated deduction for many-valued logics (Q2751372) (← links)
- Logic programming with signs and annotations (Q2785669) (← links)
- Local multi-valued logics in modular expert systems (Q4305335) (← links)
- (Q4314600) (← links)
- (Q4885909) (← links)
- Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs (Q4982058) (← links)
- \(\mho\)-resolution and hybrid knowledge bases (Q5947353) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)
