Document Search Results

Galmiche, Didier (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’97, Pont-à-Mousson, France, May 13–16, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1227, 16-30 (1997).

MSC: 03B35 03B20 03B40 03F03 03F05 03F52

Cite Review PDF

Full Text: DOI

any	anywhere
an	internal document identifier
au	author, editor
ai	internal author identifier
ti	title
la	language
so	source
ab	review, abstract
py	publication year
rv	reviewer
cc	MSC code
ut	uncontrolled term
dt	document type (j: journal article; b: book; a: book article)

a & b	logic and
a \| b	logic or
!ab	logic not
abc*	right wildcard
"ab c"	phrase
(ab c)	parentheses

Examples

Fields

Operators

Found 13 Documents (Results 1–13)

The elimination of maximum cuts in linear logic and BCK logic. (English) Zbl 07703389

Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications. (English) Zbl 07649237

Maximum segments as natural deduction images of some cuts. (English) Zbl 1515.03210

An analysis of the rules of Gentzen’s \(\mathbf{NJ}\) and \(\mathbf{LJ}\). (English) Zbl 1506.03119

The normalization theorem for extended natural deduction. (English) Zbl 1474.03147

The \(\lambda \)-calculus and the unity of structural proof theory. (English) Zbl 1187.68126

Normal derivations and sequent derivations. (English) Zbl 1207.03070

Computing interpolants in implicational logics. (English) Zbl 1103.03013

A connection between cut elimination and normalization. (English) Zbl 1089.03046

Varieties of linear calculi. (English) Zbl 1016.03065

Termination of permutative conversions in intuitionistic Gentzen calculi. (English) Zbl 0913.68135

Permutability of proofs in intuitionistic sequent calculi. (English) Zbl 0913.68110

Three faces of natural deduction. (English) Zbl 1415.03025

Filter Results by …

Access

Document Type

Author

Serial

Year of Publication

Main Field

Software