scientific article; zbMATH DE number 1420874

zbMath0943.03009MaRDI QIDQ4944943

Stephan Lehmke

Publication date: 22 March 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fuzzy logicresolutionautomated theorem provingcontinuously many-valued propositional logic

Mathematics Subject Classification ID

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

Related Items (1)

Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)

This page was built for publication: