MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On the Specification of Sequent Systems." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

On the specification of sequent systems
by Elaine Pimentel, Dale Miller, Minas Gerais, Belo Horizonte, M. G. Brasil — 2005 — In LPAR 2005: 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, number 3835 in LNAI
…On the specification of sequent systems Elaine Pimentel 1 and Dale Miller 2⋆ 1 Departamento de…
Cited by 3 (2 self) – Add To MetaCart

A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs
by Amy Felty — 1991
… that it is possible to merge an hh 2 specification of a sequent system for first-order intuitionistic logic with one…
Cited by 14 (3 self) – Add To MetaCart

Possible-Translations Semantics for Some Weak Classically Based Paraconsistent Logics
by João Marcos
… with reflexivity, weakening, cut, and the usual structural rules, determines a specific sequent system…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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