Intuitionistic logic, sometimes more generally called constructive logic, is a system of symbolic logic that differs from classical logic byâ€¦Â (More)

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

2008

2008

- Dirk van Dalen
- 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

- Vladimir Lifschitz, David Pearce, AgustÃn Valverde
- ACM Trans. Comput. Log.
- 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

- Peter W. O'Hearn, David J. Pym
- Bulletin of Symbolic Logic
- 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

- Alex K. Simpson
- 1994

Possible world semantics underlies many of the applications of modal logic in computer science and philosophy. The standardâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

- Nick Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland
- TLCA
- 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

- Roy Dyckhoff
- J. Symb. Log.
- 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

- Joshua S. Hodas, Dale Miller
- LICS
- 1991

When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and inâ€¦Â (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov
- Ann. Pure Appl. Logic
- 1991

A proof-theoretic characterization of logical languages that form suitable bases for Prolog-like programming languages isâ€¦Â (More)

Is this relevant?

Highly Cited

1979

Highly Cited

1979

- Richard Statman
- Theor. Comput. Sci.
- 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?