Pages that link to "Item:Q3426561"
From MaRDI portal
The following pages link to Linear Kripke frames and Gödel logics (Q3426561):
Displaying 16 items.
- First-order satisfiability in Gödel logics: an NP-complete fragment (Q650893) (← links)
- Gentzen calculi for the existence predicate (Q817698) (← links)
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic (Q835129) (← links)
- Ł\(\Pi\) logic with fixed points (Q953281) (← links)
- Note on witnessed Gödel logics with Delta (Q1035647) (← links)
- Ordered sets R and Q as bases of Kripke models (Q1109762) (← links)
- Ten problems in Gödel logic (Q1699740) (← links)
- Deciding logics of linear Kripke frames with scattered end pieces (Q1699745) (← links)
- Kripke semantics for fuzzy logics (Q1797765) (← links)
- First-order Gödel logics (Q2370370) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- On Köthe sequence spaces and linear logic (Q4792972) (← links)
- Bi-modal Godel logic over [0,1]-valued Kripke frames (Q5176545) (← links)
- (Q5413352) (← links)
- A Note on Linear Kripke Models (Q5696304) (← links)