W. Bibel, M. Thielscher. Non-Classical Automated Deduction. Trends in Theoretical Informatics, 89, 39--59, 1996. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
A Framework for Connection Calculi - Mantel, Sandner (1997) (Correct)
.... logic matrix characterizations have later been extended to many non classical logics by Wallen [20] Recently, matrix characterizations for fragments of linear logic have been developed [11, 16, 15] Different approaches have been undertaken to represent matrix characterizations in a uniform way [20, 7]. They allow to share results among different characterizations, e.g. based on Wallen s style of formulation a uniform proof method [17] and a uniform procedure for transforming matrix into sequent style proofs [19] could be developed. However, these approaches do not exactly give an answer to ....
W. Bibel, M. Thielscher. Non-Classical Automated Deduction. Trends in Theoretical Informatics, 89, 39--59, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC