scientific article; zbMATH DE number 1420874

MaRDI QIDQ4944943zbMATH OpenFDO

Authors Stephan Lehmke

Publication date 22 March 2000

zbMATH Keywords

automated theorem provingcontinuously many-valued propositional logicfuzzy logicresolution

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)

Recommendations

• Open theories, consistency and related results in fuzzy logic
• Fuzzy operator logic and fuzzy resolution
• Resolution-based theorem proving for many-valued logics
• Reasoning under uncertainty in fuzzy operator logic
• scientific article; zbMATH DE number 3880660

Cited in

(8)

• Fuzzy operator logic and fuzzy resolution
• Open theories, consistency and related results in fuzzy logic
• Generalized resolution in Boolean operator fuzzy logic
• \(\Lambda\)-resolution and interpretation of \(\Lambda\)-implication in fuzzy operator logic
• Proof of theorems in fuzzy logic based on structural resolution
• On resolution strategies in fuzzy logic
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
• (, )-ordered linear resolution of intuitionistic fuzzy propositional logic

This page was built for publication:

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