Kapetanovic, Miodrag On a many-valued sentential calculus. (English) Zbl 0467.03016 Publ. Inst. Math., Nouv. Sér. 27(41), 103-106 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03B50 Many-valued logic Keywords:many-valued sentential logic; tableaux method Citations:Zbl 0172.289 PDFBibTeX XMLCite \textit{M. Kapetanovic}, Publ. Inst. Math., Nouv. Sér. 27(41), 103--106 (1980; Zbl 0467.03016) Full Text: EuDML