Skip to search formSkip to main contentSemantic Scholar

You are currently offline. Some features of the site may not work correctly.

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

Highly Cited

2010

Highly Cited

2010

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

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

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?