Ten problems in Gödel logic (Q1699740)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Ten problems in Gödel logic	scientific article

Statements

scholarly article

0 references

Ten problems in Gödel logic (English)

0 references

Juan P. Aguilera

0 references

0 references

0 references

publication date

23 February 2018

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s00500-016-2366-9

0 references

0 references

The Skolemization of existential quantifiers in intuitionistic logic

0 references

Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type

0 references

On the classification of first order Gödel logics

0 references

0 references

0 references

Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving

0 references

Hypersequent Calculi for Godel Logics -- a Survey

0 references

First-order Gödel logics

0 references

Linear Kripke frames and Gödel logics

0 references

Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences

0 references

Continuous Fraïssé conjecture

0 references

0 references

Interpolation properties of superintuitionistic logics

0 references

Failure of Interpolation in Constant Domain Intuitionistic Logic

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/s00500-016-2366-9

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1699740

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1699740&oldid=36375145"