Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 206,614,668 papers from all fields of science

Search

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

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…

Highly Cited

2005

Highly Cited

2005

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

Highly Cited

2001

Highly Cited

2001

A logic program Π1 is said to be equivalent to a logic program Π2 in the sense of the answer set semantics if Π1 and Π2 have the…

Highly Cited

1999

Highly Cited

1999

Abstract We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side…

Highly Cited

1999

Highly Cited

1999

Abstract We show that the variety of Heyting algebras has finitary unification type. We also show that the subvariety obtained by…

Highly Cited

1996

Highly Cited

1996

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

Highly Cited

1994

Highly Cited

1994

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

Highly Cited

1992

Highly Cited

1992

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

Highly Cited

1986

Highly Cited

1986

In this article we shall construct intuitionistic analogues to the main systems of classical tense logic. Since each classical…

Highly Cited

1980

Highly Cited

1980

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