A weak completeness theorem for infinite valued first-order logic
From MaRDI portal
Publication:5731774
DOI10.2307/2271335zbMath0121.01203OpenAlexW2156452084MaRDI QIDQ5731774
C. C. Chang, Lawrence Peter Belluce
Publication date: 1964
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271335
Related Items (15)
On monadic MV-algebras ⋮ 1998 European Summer Meeting of the Association for Symbolic Logic ⋮ Perfect MV-algebras and their logic ⋮ LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE ⋮ Gödel spaces and perfect MV-algebras ⋮ Unnamed Item ⋮ Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic ⋮ Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik ⋮ Topological spaces of monadic MV-algebras ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ Triangular norm based predicate fuzzy logics ⋮ Sequent calculus and data fusion ⋮ Abelian \(\ell\)-groups with strong unit and perfect MV-algebras ⋮ Unnamed Item ⋮ Representations of monadic MV-algebras
This page was built for publication: A weak completeness theorem for infinite valued first-order logic
