scientific article; zbMATH DE number 1209602

zbMath1034.03001MaRDI QIDQ4212163

Piotr Borowik, Leonard Bolc

Publication date: 12 October 1998

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

zbMATH Keywords

many-valued logicsequent calculiautomated deductionresolution methodrough set methodsfuzzy set methods

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Knowledge representation (68T30) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50) Fuzzy sets and logic (in connection with information, communication, or circuits theory) (94D05)

Related Items (3)

Erotetic search scenarios and three-valued logic ⋮ Uncertainty, imprecision, and many-valued logics in protein bioinformatics ⋮ Two Approaches to Fuzzy Implication

Uses Software

• NQTHM

This page was built for publication: