论文信息 - Dual systems of sequents and tableaux for many-valued logics

Dual systems of sequents and tableaux for many-valued logics

Matthias Baaz Christian G. Fermuller Richard ZachNovember 25, 1992Technical Report TUW{E185.2{BFZ.2{921993 Workshop on Theorem Proving withAnalytic TableauxTechnische Universitat WienInstitut fur Computersprachen E185.2Abteilung fur Anwendungen der formalen LogikResselgasse 3/1, A{1040 Wien, Austria/EuropePhone: (+43 1) 588 01 x 4088Fax: (+43 1) 504 1589

Christian G. Fermüller | Matthias Baaz | Richard Zach

[1] K. Schröter. Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle , 1955 .

[2] Reiner Hähnle,et al. Uniform Notation of Tableau Rules for Multiple-Valued Logics , 1991, ISMVL.

[3] stanisław j. surma,et al. an algorithm for axiomatizing every finite logic**The paper was presented at the International Symposium on Multiple-Valued Logic, Morgantown, West Virginia, U.S.A., May, 1974. An abstract of this paper is published in [3]. , 1977 .

[4] Christian G. Fermüller,et al. Resolution for Many-Valued Logics , 1992, LPAR.

[5] Walter Alexandre Carnielli,et al. Systematization of finite many-valued logics through the method of tableaux , 1987, Journal of Symbolic Logic.

[6] G. Rousseau. Sequents in many valued logic I , 1967 .

[7] R. Hahnle. Uniform notation of tableau rules for multiple-valued logics , 1991, [1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic.