Pages that link to "Item:Q4452457"
From MaRDI portal
The following pages link to Kripke‐style semantics for many‐valued logics (Q4452457):
Displaying 14 items.
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey (Q816865) (← links)
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic (Q835129) (← links)
- Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa (Q865044) (← links)
- Ł\(\Pi\) logic with fixed points (Q953281) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey. II. (Q1035656) (← links)
- Supersound many-valued logics and Dedekind-MacNeille completions (Q1042436) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Forcing operators on MTL-algebras (Q3077402) (← links)
- A note on the first‐order logic of complete BL‐chains (Q3520231) (← links)
- (Q3731578) (← links)
- (Q5863756) (← links)
- Substructural nuclear (image-based) logics and operational Kripke-style semantics (Q6597128) (← links)
