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

2007

Highly Cited

2007

Words and phrases acquire meaning from the way they are used in society, from their relative semantics to other words and phrases… Expand

Highly Cited

1996

Highly Cited

1996

Abstract This paper examines coherence for certain monoidal categories using techniques coming from the proof theory of linear… Expand

Highly Cited

1992

Highly Cited

1992

1 INTRODUCTION This paper presents a way of extending the paradigm "proofs as programs" to classical proofs. The system we use is… Expand

Highly Cited

1992

Highly Cited

1992

This paper introduces stacked generalization, a scheme for minimizing the generalization error rate of one or more generalizers… Expand

Highly Cited

1992

Highly Cited

1992

Abstract This paper generalizes many-sorted algebra (MSA) to order-sorted algebra (OSA) by allowing a partial ordering relation… Expand

Highly Cited

1984

Highly Cited

1984

One of the main ideas of calculi of natural deduction, as introduced by Jaśkowski and Gentzen, is that assumptions may be… Expand

Highly Cited

1983

Highly Cited

1983

An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint… Expand

Highly Cited

1965

Highly Cited

1950

Highly Cited

1950

1. General nature of natural deduction. For Gentzen's natural deduction, a formalized method of deduction in quantification… Expand

Highly Cited

1934

Highly Cited

1934

THIS very able little book goes a long way to prove that logic is a human science, and not merely a more or less coherent… Expand