Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 205,489,353 papers from all fields of science

Search

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

Highly Cited

2011

Highly Cited

2011

This article formalizes and compares two different styles of reasoning with inductively defined predicates, each style being…

Highly Cited

2009

Highly Cited

2009

We see a systematic set of cut-free axiomatisations for all the basic normal modal logics formed by some combination the axioms d…

Highly Cited

2009

Highly Cited

2009

This paper has two tightly intertwined aims: (i) to introduce an intuitive and universal graphical calculus for multi-qubit…

Highly Cited

2008

Highly Cited

2008

First-order logic modulo the theory of integer arithmetic is the basis for reasoning in many areas, including deductive software…

Highly Cited

2005

Highly Cited

2005

A neutrosophic set is a part of neutrosophy that studies the origin, nature, and scope of neutralities, as well as their…

Highly Cited

1994

Highly Cited

1994

We consider a λ-calculus for which applicative terms have no longer the form (...((u u1) u2)... un) but the form (u [u1;...;un…

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…

Highly Cited

1989

Highly Cited

1989

The lambda -calculus is considered a useful mathematical tool in the study of programming languages. However, if one uses beta…

Highly Cited

1985

Highly Cited

1985

Highly Cited

1980