-
84Labeled calculi and finite-valued logicsStudia Logica 61 (1): 7-33. 1998.A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the number of truth valu…Read more
-
3Automated Deduction in Classical and Non-Classical Logics: Selected PapersSpringer Verlag. 2000.This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories. Five invited papers by prominent researchers give a consolidated view of the recent developments in first-order theorem proving. The 14 research papers presented went through a twofold selection process and were first presented at the International Workshop on First-Order Theorem Proving, FTP'98, held in Vienna,…Read more
-
Vienna University of TechnologyRegular Faculty
Vienna, Vienna, Austria