Searching for "On the Specification of Sequent Systems." – sorted by Relevance.
-
On the specification of sequent systems
- 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
- 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
- with reflexivity, weakening, cut, and the usual structural rules, determines a specific sequent system
- Cited by 4 (2 self) – Add To MetaCart

