Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

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

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… Expand

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… Expand

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… Expand

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… Expand

Highly Cited

2004

Highly Cited

2004

Nominal logic is a theory of names and binding based on the primitive concepts of freshness and swapping, with a self-dual N- (or… Expand

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… Expand

Highly Cited

1992

Highly Cited

1992

?0. Prologue. Gentzen's sequent calculus LJ, and its variants such as G3 [21], are (as is well known) convenient as a basis for… Expand

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… Expand

Highly Cited

1985

Highly Cited

1985

Abstract We prove that, for infinitely many disjunctive normal form propositional calculus tautologies ξ, the length of the… Expand

Highly Cited

1980

Highly Cited

1980

Abstract ‘Non-monotonic’ logical systems are logics in which the introduction of new axioms can invalidate old theorems. Such… Expand