Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations

Broader (2)

Formal methodsSet theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Refutation of the Second Incompleteness Theorem by Gödel Logic
Godel's second incompleteness theorem as based on the minimal modal logic to express the Lob axiom is not tautologous. Subsequent… 
2017
2017
Extending possibilistic logic over Godel logic Title Extending possibilistic logic over Godel logic
  • 2017
  • Corpus ID: 29242904
In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility… 
2017
2017
EPISTEMIC EXTENSION OF G ¨ODEL LOGIC
. In this paper, some epistemic extensions of G¨odel logic are introduced. We establish two proof systems and show that these… 
2012
2012
Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability
G\"odel logic with the projection operator Delta (G_Delta) is an important many-valued as well as intermediate logic. In contrast… 
2012
2012
On possibilistic modal logics over Gödel logic
Possibilistic logic (see e.g. [4]) is a well known formal system to reasoning graded beliefs by means of necessity and possiblity… 
2008
2008
A Godel Modal Logic 1 (revised Dec. 2008)
Sometimes it is needed in approximate reasoning to deal simultaneously with both fuzziness of propositions and modalities, for… 
2005
2005
Two notions of compactness in Gödel logics
Compactness is an important property of classical propositional logic. It can be defined in two equivalent ways. The first one… 
2003
2003
Skolem's Discovery of Gödel-Dummett Logic
Attention is drawn to the fact that what is alternatively known as Dummett logic, Gödel logic, or Gödel-Dummett logic, was… 
2001
2001
Calculi for the Gödel Logic
This paper introduces the reader to the Gödel logic and to several related calculi. 
2000
2000
Compiling Evaluable Functions in the Godel Programming Language
An abstract of the thesis of David Shapiro for the Master of Science in Computer Science presented January 30, 1996. Title…