Another proof of the strong completeness of the intuitionistic fuzzy logic
From MaRDI portal
Publication:1099155
DOI10.21099/tkbjm/1496160505zbMath0638.03012MaRDI QIDQ1099155
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
03B52: Fuzzy logic; logic of vagueness
03B50: Many-valued logic
03B20: Subsystems of classical logic (including intuitionistic logic)
03B55: Intermediate logics
Related Items
Gentzen calculi for the existence predicate, Note on witnessed Gödel logics with Delta, Algebraic structures in fuzzy logic, First-order Gödel logics, On interplay of quantifiers in Gödel-Dummett fuzzy logics, The Skolemization of existential quantifiers in intuitionistic logic