scientific article
From MaRDI portal
zbMath0714.03022MaRDI QIDQ3996176
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fuzzy logichistorymany-valued logicŁukasiewicz systemsaxiom system built around an implication-like connectiveaxiomatization of the consequence relationextension of the Gentzen-like sequent calculusextension of the Rosser- Turquette systemŁukasiewicz predicate calculusmany-valued predicate calculusmany-valued propositional logicPost and Gödel propositional logicsthree- valued logic
Fuzzy logic; logic of vagueness (03B52) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Many-valued logic (03B50)
Related Items
Approximate solutions of fuzzy relational equations and a characterization of t-norms that define metrics for fuzzy sets, Siegfried Gottwald (1943--2015) obituary, Suszko's thesis, inferential many-valuedness, and the notion of a logical system, Unnamed Item, Unnamed Item, Display calculi and other modal calculi: a comparison, A cardinality theory for vaguely defined objects -- Problems of inequalities and applications, Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences, Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism, Unnamed Item, Questions of cardinality of finite fuzzy sets, Generalized cardinal numbers and operations on them