Searching for "Sequent Calculus in Natural Deduction Style." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

2004).On the notion of assumption in logical systems
by Peter Schroeder-heister — In R
…, in short: ND-style sequent calculus. 3. ND-style sequent calculus In sequent-style natural deduction, a…
Cited by 1 (1 self) – Add To MetaCart

A Complete Axiomatization of Higher-Order Intuitionistic Logic
by Marcelo E. Coniglio, Cristina Sernadas — 2001 — CLE e-Prints
… is expressed through a sequent calculus or in natural deduction-style (see, for instance, [3, 9]). One reason…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB