A Uniform Proof Procedurefor Classical and Non - Classical LogicsJens

Abstract

We present an eecient proof procedure for classical and non-classical logics. The proof search is based on the matrix-characterization of validity where the emphasis on paths and connections avoids redundancies occurring in sequent or tableaux calculi. Our uniform technique of path-checking is applicable to arbitrary formulae and a generalization of Bibel's… (More)

Topics

Cite this paper

@inproceedings{Otten1996AUP, title={A Uniform Proof Procedurefor Classical and Non - Classical LogicsJens}, author={Jens Otten and Christoph Kreitz}, year={1996} }