Gödel logic

Known as: Godel logic, Gödel logics 
In mathematical logic, a first-order Gödel logic is a member of a family of finite- or infinite-valued logics in which the sets of truth values V are… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
In (Guller, 2014), we have generalised the well-known hyperresolution principle to the first-order Godel logic with truth… (More)
  • table I
  • table 4
Is this relevant?
2011
2011
In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility… (More)
  • table 1
Is this relevant?
2011
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
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
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
Efficient, automated elimination of cuts is a prerequisite for proof analysis. The method CERES, based on Skolemization and… (More)
Is this relevant?
2007
2007
Godel propositional logic is the logic of the minimum triangular norm, and can be axiomatized as propositional intuitionistic… (More)
  • figure 1
  • table II
  • table I
  • figure 2
  • figure 3
Is this relevant?
Review
2001
Review
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
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
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?