|
Handbook of Automated Reasoning : Volume I
by Alan J.A. Robinson
See all pages
with references to "path sequent".
Excerpt - on Page 235: "
... can be turned into a calculus where the subformulas of G are replaced by the corresponding paths. We call a path Sequent any finite rnultiset of paths. ... "
|
|
Value-Creating Growth: How to Lift Your Company to the Next Level of Performance (J-B US non-Franchise Leadership)
by Thomas L. Doorley III
See all pages
with references to "path sequent".
|
|
Substructural Logics: A Primer (Trends in Logic)
by F. Paoli
See all pages
with references to "path sequent".
|
|
| ||
| ||
| ||
| ||