Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

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
  • figure 1
  • table 1
  • figure 3
  • figure 4
  • figure 5
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
  • figure 2–1
  • figure 2–2
  • figure 2–3
  • figure 2–6
  • figure 3–1
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
  • R. Statman
  • Theor. Comput. Sci.
  • 1979
  • Corpus ID: 5870858
It is the purpose of this note to show that the question of whether a given propositional formula is intuitionistically valid (in… Expand