Axiomatization of the infinite-valued predicate calculus
From MaRDI portal
Publication:5332212
DOI10.2307/2271339zbMath0127.00703OpenAlexW2170862108MaRDI QIDQ5332212
Publication date: 1964
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271339
Related Items
Local deductions theorems, On the infinite-valued Łukasiewicz logic that preserves degrees of truth, Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results, The Differential Semantics of Łukasiewicz Syntactic Consequence, Rational Pavelka logic: the best among three worlds?, Polyhedral MV-algebras, Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic, Consequence and interpolation in Łukasiewicz logic, Bouligand-Severi tangents in MV-algebras., Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik, (Dual) Hoops Have Unique Halving, Foundations of fuzzy sets, Structural completeness in many-valued logics with rational constants, Geometrical methods in Wajsberg hoops, Consequence Relations with Real Truth Values
