# Gödel logic

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

2014

- 7th International Joint Conference on…
- 2014

In (Guller, 2014), we have generalised the well-known hyperresolution principle to the first-order Godel logic with truth… (More)

Is this relevant?

2011

2011

- Int. J. Approx. Reasoning
- 2011

In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility… (More)

Is this relevant?

2011

2011

- EUSFLAT Conf.
- 2011

We define the notion of a canonical Gödel system in the framework of single-conclusion hypersequent calculi. A corresponding… (More)

Is this relevant?

2010

2010

- CSL
- 2010

First order Gödel logic G∞, enriched with the projection operator 4—in contrast to other important t-norm based fuzzy logics… (More)

Is this relevant?

2009

2009

- ECSQARU
- 2009

In this paper we present completeness results of several fuzzy logics trying to capture di?erent notions of necessity (in the… (More)

Is this relevant?

2008

2008

- LPAR
- 2008

Efficient, automated elimination of cuts is a prerequisite for proof analysis. The method CERES, based on Skolemization and… (More)

Is this relevant?

2007

2007

- IEEE International Fuzzy Systems Conference
- 2007

Godel propositional logic is the logic of the minimum triangular norm, and can be axiomatized as propositional intuitionistic… (More)

Is this relevant?

Review

2001

Review

2001

- 2001

Gödel logic is a non-classical logic which naturally turns up in a number of different areas within logic and computer science… (More)

Is this relevant?

2000

2000

- LPAR
- 2000

It is shown that G ↑ , the quantified propositional Gödel logic based on the truth-value set V↑ = {1− 1/n : n ≥ 1} ∪ {1}, is… (More)

Is this relevant?

1998

1998

- ISMVL
- 1998

Entailment in propositional G ̈ odel logics can be defined in a natural way. While all infinite sets of truth values yield the… (More)

Is this relevant?