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