Skip to search formSkip to main contentSkip to account menu

Intuitionistic logic

Known as: Constructivist logic, Constructive logic, Intuitionistic Prop Calc 
Intuitionistic logic, sometimes more generally called constructive logic, is a system of symbolic logic that differs from classical logic by… 
Wikipedia (opens in a new tab)

Papers overview

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
  • S. Ghilardi
  • Journal of Symbolic Logic
  • 1999
  • Corpus ID: 30373134
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
  • R. Dyckhoff
  • Journal of Symbolic Logic
  • 1992
  • Corpus ID: 30194066
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
  • W. Ewald
  • Journal of Symbolic Logic
  • 1986
  • Corpus ID: 46660921
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…