Kripke semantics for fuzzy logics

DOI10.1007/S00500-016-2387-4zbMath1398.03131DBLPjournals/soco/SafariS18arXiv1607.04090OpenAlexW2482057698WikidataQ57533026 ScholiaQ57533026MaRDI QIDQ1797765

Parvin Safari, Saeed Salehi

Publication date: 22 October 2018

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1607.04090

zbMATH Keywords

completenesssemanticsKripke framessoundnessGödel logicfuzzy logicsDummett logicthe basic fuzzy logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Related Items (1)

From intuitionism to many-valued logics through Kripke models

Cites Work

• Unnamed Item
• A propositional logic with explicit fixed points
• Metamathematics of fuzzy logic
• A closer look at some subintuitionistic logics
• A propositional calculus with denumerable matrix

This page was built for publication: Kripke semantics for fuzzy logics