scientific article; zbMATH DE number 3948232

MaRDI QIDQ3718686zbMATH OpenFDO

Authors Giangiacomo Gerla

Publication date 1986

zbMATH Keywords

fuzzy algebrasfirst order nonclassical logic

Mathematics Subject Classification ID

Theory of fuzzy sets, etc. (03E72) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Categorical logic, topoi (03G30)

Recommendations

• Fuzzy Models of First Order Languages
• Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
• Model-theoretic constructions in fuzzy logic with evaluated syntax
• Fuzzy logic models in a category of fuzzy relations
• scientific article; zbMATH DE number 764341

Cited in

(9)

• Back-and-forth systems for fuzzy first-order models
• Handling the valuation of the predicates in a fuzzy model
• Notes on the model theory of DeMorgan logics
• Model-theoretic constructions in fuzzy logic with evaluated syntax
• The Skolem-Löwenheim theorem in toposes. II
• Elements of model theory in higher-order fuzzy logic
• Fuzzy Models of First Order Languages
• Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
• Goguen categories. A categorical approach to \(L\)-fuzzy relations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3718686)