Title :
Intuitionistic counterparts of finitely-valued logics
Author :
Baaz, Matthias ; Fermuller, Christian G.
Author_Institution :
Inst. fur Algebra und Diskrete Math., Tech. Univ. Wien, Austria
Abstract :
We investigate the relation between Kripke´s model structures for intuitionistic logic and the simple syntactical restriction that turns the classical sequent calculus into an intuitionistic one. For this purpose we generalize ordinary Kripke structures to ones based on arbitrary finite sets of truth values and show that imposing a proper syntactical restriction on many-placed sequents leads to calculi that are correct and cut-free complete for the new logics
Keywords :
multivalued logic; process algebra; Kripke structures; Kripke´s model structures; calculi; classical sequent calculus; cut-free complete; finitely-valued logics; intuitionistic logic; syntactical restriction; Algebra; Calculus; Logic functions; Virtual manufacturing;
Conference_Titel :
Multiple-Valued Logic, 1996. Proceedings., 26th International Symposium on
Conference_Location :
Santiago de Compostela
Print_ISBN :
0-8186-7392-3
DOI :
10.1109/ISMVL.1996.508349