Ten problems in Gödel logic

Aguilera, Juan P.; Baaz, Matthias

doi:10.1007/s00500-016-2366-9

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2017

2024

Publication Types

Select...

Article3

Book1

Relationship

Self Cite1

Independent3

Authors

Journals

Cited by 4 publications

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation

Baaz

Lolić

2017

Frontiers of Combining Systems

Self Cite

View full text Add to dashboard Cite

This paper develops a general methodology to connect propositional and first-order interpolation. In fact, the existence of suitable skolemizations and of Herbrand expansions together with a propositional interpolant suffice to construct a first-order interpolant. This methodology is realized for lattice-based finitely-valued logics, the top element representing true. It is shown that interpolation is decidable for these logics.

show abstract