Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic

DOI10.1093/LOGCOM/EXN059MaRDI QIDQ3406683zbMATH OpenOpenAlexFDO

Authors Matthias Baaz, George Metcalfe

Publication date 19 February 2010

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exn059

zbMATH Keywords

proof theoryMV-algebrahypersequentSkolemizationHerbrand theoremŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Cut-elimination and normal-form theorems (03F05) MV-algebras (06D35)

Recommendations

• Proof Theory for First Order Łukasiewicz Logic
• Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
• Skolemization and Herbrand theorems for lattice-valued logics
• Herbrand theorems for substructural logics
• Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form

Cited in

(16)

• Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic
• Free-variable semantic tableaux for the logic of fuzzy inequalities
• Skolemization and Herbrand theorems for lattice-valued logics
• scientific article; zbMATH DE number 1790413 (Why is no real title available?)
• The Skolemization of prenex formulas in intermediate logics
• Proof Theory for First Order Łukasiewicz Logic
• scientific article; zbMATH DE number 6841178 (Why is no real title available?)
• Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
• Triangular norm based predicate fuzzy logics
• The eskolemization of universal quantifiers
• Herbrand theorems for substructural logics
• Giles's game and the proof theory of Łukasiewicz logic
• Herbrand Confluence for First-Order Proofs with Π₂-Cuts
• Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic
• A natural proof system for Herbrand's theorem
• 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: Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic

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