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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1957-2018
010020030019572017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
There are basically two ways to view intuitionistic logic: (i) as a philosoph ical–foundational issue in mathematics, (ii) as a… (More)
Is this relevant?
Highly Cited
2007
Highly Cited
2007
  • Zeshui Xu
  • IEEE Transactions on Fuzzy Systems
  • 2007
An intuitionistic fuzzy set, characterized by a membership function and a non-membership function, is a generalization of fuzzy… (More)
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… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Possible world semantics underlies many of the applications of modal logic in computer science and philosophy. The standard… (More)
  • figure 2–1
  • figure 2–2
  • figure 2–3
  • figure 2–6
  • figure 3–1
Is this relevant?
Highly Cited
1993
Highly Cited
1993
In this paper we consider the problem of deriving a term assignment system for Girard's Intuitionistic Linear Logic for both the… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in… (More)
  • figure 1
  • figure 4
  • figure 6
  • figure 9
  • figure 12
Is this relevant?
Highly Cited
1991
Highly Cited
1991
A proof-theoretic characterization of logical languages that form suitable bases for Prolog-like programming languages is… (More)
  • figure 1
Is this relevant?
Highly Cited
1979
Highly Cited
1979
Abatraet. It is the purpose of this note to show that the question of whether a given propositional formula is intuitionistically… (More)
Is this relevant?