Pages that link to "Item:Q3426561"
From MaRDI portal
The following pages link to Linear Kripke frames and Gödel logics (Q3426561):
Displayed 7 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)
- First-order Gödel logics (Q2370370) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)