Finiteness in infinite-valued Łukasiewicz logic
From MaRDI portal
Publication:1971778
DOI10.1023/A:1008311022292zbMath0951.03024MaRDI QIDQ1971778
Agata Ciabattoni, Stefano Aguzzoli
Publication date: 17 December 2000
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
logical consequencesequent calculusmany-valued logicdecision probleminfinite-valued Łukasiewicz logicsequence formalisation
Decidability of theories and sets of sentences (03B25) Many-valued logic (03B50) Abstract deductive systems (03B22)
Related Items
Automated theorem proving by resolution in non-classical logics ⋮ Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction ⋮ Rational Pavelka logic: the best among three worlds? ⋮ Mathematical Fuzzy Logics ⋮ Labelled Calculi for Łukasiewicz Logics ⋮ Xor-Implications and E-Implications: Classes of Fuzzy Implications Based on Fuzzy Xor ⋮ An asymptotically tight bound on countermodels for Łukasiewicz logic ⋮ Modeling multi-valued biological interaction networks using fuzzy answer set programming ⋮ Linear Logic and Lukasiewicz ℵ0- Valued Logic: A Logico-Algebraic Study ⋮ A discrete free MV-algebra over one generator ⋮ On Metric Temporal Łukasiewicz Logic ⋮ Giles's game and the proof theory of Łukasiewicz logic ⋮ On the refutational completeness of signed binary resolution and hyperresolution ⋮ Structural completeness in many-valued logics with rational constants ⋮ Lazy evaluations in Łukasiewicz type fuzzy logic ⋮ On the complexity of validity degrees in Łukasiewicz logic ⋮ Complexity issues in Basic Logic
