Pages that link to "Item:Q5731774"
From MaRDI portal
The following pages link to A weak completeness theorem for infinite valued first-order logic (Q5731774):
Displaying 15 items.
- Representations of monadic MV-algebras (Q817684) (← links)
- Gödel spaces and perfect MV-algebras (Q898780) (← links)
- Abelian \(\ell\)-groups with strong unit and perfect MV-algebras (Q1013998) (← links)
- On monadic MV-algebras (Q1877093) (← links)
- Topological spaces of monadic MV-algebras (Q2001132) (← links)
- Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic (Q2212726) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Perfect MV-algebras and their logic (Q2642577) (← links)
- Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik (Q3315483) (← links)
- 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
- (Q5146272) (← links)
- LATTICE-ORDERED ABELIAN GROUPS AND PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE (Q5346693) (← links)
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview (Q5425998) (← links)
- Sequent calculus and data fusion (Q5947552) (← links)
- (Q6040894) (← links)
