Another proof of the strong completeness of the intuitionistic fuzzy logic

DOI10.21099/tkbjm/1496160505zbMath0638.03012OpenAlexW1883540685MaRDI QIDQ1099155

Mitio Takano

Publication date: 1987

Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21099/tkbjm/1496160505

zbMATH Keywords

intuitionistic fuzzy logicstrong completeness theoremextensions of intuitionistic logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (6)

First-order Gödel logics ⋮ On interplay of quantifiers in Gödel-Dummett fuzzy logics ⋮ The Skolemization of existential quantifiers in intuitionistic logic ⋮ Note on witnessed Gödel logics with Delta ⋮ Algebraic structures in fuzzy logic ⋮ Gentzen calculi for the existence predicate

This page was built for publication: Another proof of the strong completeness of the intuitionistic fuzzy logic