Labelled Calculi for Łukasiewicz Logics

DOI10.1007/978-3-540-69937-8_17zbMath1156.03024OpenAlexW1579910356MaRDI QIDQ3511458

Yakoub Salhi, Didier Galmiche

Publication date: 10 July 2008

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69937-8_17

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Many-valued logic (03B50)

Related Items

Intuitionistic hybrid logic: introduction and survey, Sequent calculi and decidability for intuitionistic hybrid logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metamathematics of fuzzy logic
• Tableaux for Łukasiewicz infinite-valued logic
• Finiteness in infinite-valued Łukasiewicz logic
• Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
• Proving termination with multiset orderings
• Contraction-free sequent calculi for intuitionistic logic
• Automated Reasoning with Analytic Tableaux and Related Methods
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• Automated Reasoning
• Logic for Programming, Artificial Intelligence, and Reasoning
• Łukasiewicz Logic: From Proof Systems To Logic Programming