Pages that link to "Item:Q3315483"
From MaRDI portal
The following pages link to Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik (Q3315483):
Displaying 7 items.
- Arithmetical complexity of fuzzy predicate logics -- a survey. II. (Q1035656) (← links)
- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 (Q2732529) (← links)
- Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre (Q3315484) (← links)
- Monadic Fragments of Gödel Logics: Decidability and Undecidability Results (Q3498458) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability (Q3638278) (← links)
- UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (Q5052011) (← links)
