Labelled Calculi for Łukasiewicz Logics

DOI10.1007/978-3-540-69937-8_17MaRDI QIDQ3511458zbMATH OpenOpenAlexFDO

Authors Didier Galmiche, Yakoub Salhi

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

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

Recommendations

• Tableaux for Łukasiewicz infinite-valued logic
• Labeled calculi and finite-valued logics
• Łukasiewicz Logic: From Proof Systems To Logic Programming
• Automated theorem proving for Łukasiewicz logics
• Sequent and hypersequent calculi for abelian and łukasiewicz logics

Cites work

• scientific article; zbMATH DE number 1612545 (Why is no real title available?)
• scientific article; zbMATH DE number 4083375 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• Automated Reasoning
• Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
• Bounded Łukasiewicz logics
• Contraction-free sequent calculi for intuitionistic logic
• Finiteness in infinite-valued Łukasiewicz logic
• Logic for Programming, Artificial Intelligence, and Reasoning
• Metamathematics of fuzzy logic
• Proving termination with multiset orderings
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• Tableaux for Łukasiewicz infinite-valued logic
• Łukasiewicz Logic: From Proof Systems To Logic Programming

Cited in

(8)

• Intuitionistic Letcc via Labelled Deduction
• Labeled calculi and finite-valued logics
• Łukasiewicz Logic: From Proof Systems To Logic Programming
• Intuitionistic hybrid logic: introduction and survey
• Sequent calculi and decidability for intuitionistic hybrid logic
• Effective finite-valued semantics for labelled calculi
• Tableaux for Łukasiewicz infinite-valued logic
• Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form

This page was built for publication: Labelled Calculi for Łukasiewicz Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3511458)