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

DOI10.1093/LOGCOM/EXN059zbMATH Open1188.03014OpenAlexW1966718868MaRDI QIDQ3406683FDOQ3406683

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

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

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)

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
• Title not available (Why is that?)
• Skolemization and Herbrand theorems for lattice-valued logics
• The Skolemization of prenex formulas in intermediate logics
• Proof Theory for First Order Łukasiewicz Logic
• Title not available (Why is that?)
• Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
• Triangular norm based predicate fuzzy logics
• Herbrand theorems for substructural logics
• The eskolemization of universal quantifiers
• 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
• Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form
• A natural proof system for Herbrand's theorem

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)