Boicescu, Vlad Sur les systèmes deductifs dans la logique \(\theta\)-valente. (French) Zbl 0262.02016 Publ. Dep. Math., Lyon 8, No. 1, 123-133 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 03B50 Many-valued logic 03C35 Categoricity and completeness of theories 03G05 Logical aspects of Boolean algebras × Cite Format Result Cite Review PDF