Proof Theory for First Order Łukasiewicz Logic

DOI10.1007/978-3-540-73099-6_5MaRDI QIDQ5434477zbMATH OpenOpenAlexFDO

Authors Matthias Baaz, George Metcalfe

Publication date 4 January 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73099-6_5

Mathematics Subject Classification ID

Many-valued logic (03B50) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic
• Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
• Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form
• Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic
• Sequent and hypersequent calculi for abelian and łukasiewicz logics

Cited in

(11)

• Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic
• A compact \([0,1]\)-valued first-order Łukasiewicz logic with identity on Hilbert space
• Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic
• Proof Theory for Casari's Comparative Logics
• Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
• Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form
• An elementary definability theorem for first order logic
• scientific article; zbMATH DE number 3893196 (Why is no real title available?)
• Bounded Łukasiewicz logics
• Łukasiewicz Logic: From Proof Systems To Logic Programming
• Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic

This page was built for publication: Proof Theory for First Order Łukasiewicz Logic

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