Analytic Tableaux for θ-Valued Propositional Logic
Alexandru Filipoiu · Institutional Repositories DataBase (IRDB) · 1978
The 0-valued Lukasiewicz algebras were introduced by Professor Gr. C. Moisil in 1968 [3](see also [2]).In [l] the 0-valued Propositional Logic was formulated.The purpose of this paper is to give an application of the method of Analytic Tableaux (see [4]) to this logic.§ l.Formulas of 8-valued propositional logic.Let J be a chain with a first element (O) and a last element (1), with the order type 0. We shall use the following symbols:( i) An infinite set V of symbols, called propositonal variables.(ii) The logical connectives: v, A,