Pages that link to "Item:Q3279280"
From MaRDI portal
The following pages link to Axiomatizability of some many valued predicate calculi (Q3279280):
Displaying 5 items.
- A game-based formal system for Ł\(_\infty\) (Q754864) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey (Q816865) (← links)
- Mathematical fuzzy logic -- what it can learn from Mostowski and Rasiowa (Q865044) (← links)
- In memory of Andrzej Mostowski (Q1237769) (← links)
- Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik (Q3315483) (← links)