Linear Kripke frames and Gödel logics
From MaRDI portal
Publication:3426561
DOI10.2178/jsl/1174668382zbMath1118.03016MaRDI QIDQ3426561
Arnold Beckmann, Norbert Preining
Publication date: 12 March 2007
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1174668382
axiomatizability; Gödel logic; intermediate predicate logic; Dummett's LC; constant domain; linear Kripke frame
Related Items
First-order satisfiability in Gödel logics: an NP-complete fragment, Gentzen calculi for the existence predicate, \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic, Ł\(\Pi\) logic with fixed points, Note on witnessed Gödel logics with Delta, First-order Gödel logics, The Skolemization of existential quantifiers in intuitionistic logic
Cites Work