Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

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

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

Is this relevant?

2003

2003

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

Preface. 1. Preliminaries. 2. Many-Valued Propositional Calculi. 3. Lukasiewicz Propositional Logic. 4. Product Logic, Godel… Expand

Is this relevant?

1998

1998

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?