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
2010
Highly Cited
2010
  • Guiwu Wei
  • Appl. Soft Comput.
  • 2010
  • Corpus ID: 11593111
With respect to multiple attribute group decision making (MAGDM) problems in which both the attribute weights and the expert… Expand
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Introduction. I: Intuitionistic Propositional Logic. 1. Preliminaries. 2. Natural Deduction for Propositional Logic. 3. Negative… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We present a new intuitionistic linear logic, Dual Intuitionistic Linear Logic, designed to reflect the motivation of… Expand
Is this relevant?
Highly Cited
1994
Highly Cited
1994
An accessory for riveting machines, replacing the conventional lower anvil, which permits both the top and bottom exposed… Expand
  • figure 2–1
  • figure 2–2
  • figure 2–3
  • figure 2–6
  • figure 3–1
Is this relevant?
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… Expand
Is this relevant?
Highly Cited
1980
Highly Cited
1980
Contents: Introduction Propositional Logic Predicate Logic Completeness and Applications Second Order Logic Intuitionistic Logic… Expand
Is this relevant?
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
Is this relevant?