Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Description Logics (DLs) are knowledge representation languages built on the basis of classical logic. DLs allow the creation of… Expand
  • figure 1
  • table 1
  • figure 2
  • table 3
  • table 4
Is this relevant?
2009
2009
A basic propositional modal fuzzy logic ${\sf {GK}}_{\Box}$ is defined by combining the Kripke semantics of the modal logic K… Expand
Is this relevant?
2008
2008
We extend de Finetti’s No-Dutch-Book Criterion to Gödel infinite-valued propositional logic. 
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Abstract First-order Godel logics are a family of finite- or infinite-valued logics where the sets of truth values V are closed… Expand
Is this relevant?
2007
2007
We investigate the relation between intermediate predicate logics based on countable linear Kripke frames with constant domains… Expand
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
2003
2003
  • J. Plato
  • Stud Logica
  • 2003
  • Corpus ID: 1342949
Attention is drawn to the fact that what is alternatively known as Dummett logic, Godel logic, or Godel-Dummett logic, was… Expand
Is this relevant?
2002
2002
This paper presents an analysis of Godel logics with countable truth value sets with respect to the topological and order… Expand
Is this relevant?
2001
2001
This paper introduces the reader to the Gödel logic and to several related calculi. 
Is this relevant?
Highly Cited
1998
Highly Cited
1998
  • P. Hájek
  • Trends in Logic
  • 1998
  • Corpus ID: 61701554
Preface. 1. Preliminaries. 2. Many-Valued Propositional Calculi. 3. Lukasiewicz Propositional Logic. 4. Product Logic, Godel… Expand
Is this relevant?
1998
1998
  • M. Baaz, R. Zach
  • Proceedings. 28th IEEE International Symposium…
  • 1998
  • Corpus ID: 12614834
Entailment in propositional Godel logics can be defined in a natural way. While all infinite sets of truth values yield the same… Expand
Is this relevant?