Finiteness in infinite-valued Łukasiewicz logic

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)

zbMATH Keywords

logical consequencesequent calculusmany-valued logicdecision probleminfinite-valued Łukasiewicz logicsequence formalisation

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Many-valued logic (03B50) Abstract deductive systems (03B22)

Related Items (17)

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 ℵ₀- 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

This page was built for publication: Finiteness in infinite-valued Łukasiewicz logic