Ten problems in Gödel logic
type: Item
instance of: scholarly article
title: Ten problems in Gödel logic
zbMATH Open document ID: 1386.03024
author: Juan P. Aguilera
author: Matthias Baaz
published in: Soft Computing
publication date: 2018-02-23T00:00:00Z
Mathematics Subject Classification ID: 03B52
zbMATH DE Number: 6843094
MaRDI profile type: Publication
full work available at URL: s00500-016-2366-9
OpenAlex ID: W2526982836
Wikidata QID: Q55670563
cites work: Q4944902
cites work: The Skolemization of existential quantifiers in intuitionistic logic
cites work: Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type
cites work: On the classification of first order Gödel logics
cites work: Q4218100
cites work: Q2767023
cites work: Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
cites work: Hypersequent Calculi for Godel Logics -- a Survey
cites work: First-order Gödel logics
cites work: Linear Kripke frames and Gödel logics
cites work: Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
cites work: Continuous Fraïssé conjecture
cites work: Q5570212
cites work: Interpolation properties of superintuitionistic logics
cites work: Failure of interpolation in constant domain intuitionistic logic
DBLP publication ID: journals/soco/AguileraB17
DOI: 10.1007/S00500-016-2366-9
description: scientific article; zbMATH DE number 6843094