Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

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

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

Highly Cited

2009

Highly Cited

2009

A focused proof system provides a normal form to cut-free proofs in which the application of invertible and non-invertible… Expand

Highly Cited

2008

Highly Cited

2008

There are basically two ways to view intuitionistic logic: (i) as a philosoph ical–foundational issue in mathematics, (ii) as a… Expand

Highly Cited

2005

Highly Cited

2005

1. Introduction and Discussion 2. Modal and Superintuitionistic Logics: Basic Concepts 3. Superintuitionistic Logics and Normal… Expand

Highly Cited

2003

Highly Cited

2003

In this paper one generalizes the intuitionistic fuzzy logic (IFL) and other logics to neutrosophic logic (NL). The differences… Expand

Highly Cited

2001

Highly Cited

2001

A logic program <inline-equation><f><g>P</g><subscrpt>1</subscrpt></f> </inline-equation> is said to be equivalent to a logic… Expand

Highly Cited

1996

Highly Cited

1996

We present a new intuitionistic linear logic, Dual Intuitionistic Linear Logic, designed to reflect the motivation of… Expand

Highly Cited

1994

Highly Cited

1994

Possible world semantics underlies many of the applications of modal logic in computer science and philosophy. The standard… Expand

Highly Cited

1992

Highly Cited

1992

?0. Prologue. Gentzen's sequent calculus LJ, and its variants such as G3 [21], are (as is well known) convenient as a basis for… Expand

Highly Cited

1980

Highly Cited

1980

Contents: Introduction Propositional Logic Predicate Logic Completeness and Applications Second Order Logic Intuitionistic Logic… Expand

Highly Cited

1979

Highly Cited

1979

It is the purpose of this note to show that the question of whether a given propositional formula is intuitionistically valid (in… Expand