Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
From MaRDI portal
Publication:3851085
DOI10.2307/2964111zbMath0112.24503OpenAlexW2150732096WikidataQ56083693 ScholiaQ56083693MaRDI QIDQ3851085
Publication date: 1963
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2964111
Related Items
On monadic MV-algebras ⋮ First-order Gödel logics ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ Perfect MV-algebras and their logic ⋮ A complete many-valued logic with product-conjunction ⋮ Rational Pavelka logic: the best among three worlds? ⋮ Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic ⋮ Gödel spaces and perfect MV-algebras ⋮ Fuzzy Turing machines: normal form and limitative theorems ⋮ A triangular norm-based fuzzy predicate logic ⋮ Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic ⋮ Monotone operators on Gödel logic ⋮ Forcing in Łukasiewicz predicate logic ⋮ Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik ⋮ Representation of perfect and local MV-algebras ⋮ Some notes concerning fuzzy logics ⋮ Gödel logics with monotone operators ⋮ SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC ⋮ Fuzzy Inference as Deduction ⋮ Continuous Fraïssé conjecture ⋮ Abelian \(\ell\)-groups with strong unit and perfect MV-algebras ⋮ A game-based formal system for Ł\(_\infty\) ⋮ Giles's game and the proof theory of Łukasiewicz logic ⋮ Unnamed Item ⋮ On retaining classical truths and classical deducibility in many-valued and fuzzy logics ⋮ Representations of monadic MV-algebras
