Pages that link to "Item:Q5332212"
From MaRDI portal
The following pages link to Axiomatization of the infinite-valued predicate calculus (Q5332212):
Displaying 15 items.
- Consequence and interpolation in Łukasiewicz logic (Q647417) (← links)
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (Q876491) (← links)
- Local deductions theorems (Q1090668) (← links)
- Polyhedral MV-algebras (Q1697339) (← links)
- Geometrical methods in Wajsberg hoops (Q1858223) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic (Q2212726) (← links)
- Foundations of fuzzy sets (Q2277254) (← links)
- Bouligand-Severi tangents in MV-algebras. (Q2449577) (← links)
- The Differential Semantics of Łukasiewicz Syntactic Consequence (Q2948587) (← links)
- Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik (Q3315483) (← links)
- (Dual) Hoops Have Unique Halving (Q4913866) (← links)
- Consequence Relations with Real Truth Values (Q5020171) (← links)
- Rational Pavelka logic: the best among three worlds? (Q6083147) (← links)