Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form

DOI10.3103/S1055134418020013zbMATH Open1413.03003OpenAlexW2807075722MaRDI QIDQ4558324FDOQ4558324

Authors: Aleksandr Sergeevich Gerasimov 

Publication date: 21 November 2018

Published in: Siberian Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s1055134418020013

Recommendations

• Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic
• Łukasiewicz Logic: From Proof Systems To Logic Programming
• Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic
• Proof Theory for First Order Łukasiewicz Logic
• Labelled Calculi for Łukasiewicz Logics

zbMATH Keywords

fuzzy logichypersequent calculusproof search algorithminfinite-valued first-order Łukasiewicz logicrational first-order Pavelka logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)

Cites Work

• Title not available (Why is that?)
• Metamathematics of fuzzy logic
• Untersuchungen über das logische Schliessen. II
• Title not available (Why is that?)
• Proof theory for fuzzy logics
• Handbook of mathematical fuzzy logic. Volume 1
• Title not available (Why is that?)
• Improved bounds on Bell numbers and on moments of sums of random variables
• Dual tableaux. Foundations, methodology, case studies
• The liberalized \(\delta\)-rule in free variable semantic tableaux
• A Gray code for set partitions
• Level logics
• The Skolem method in intuitionistic calculi
• Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof search and co-NP completeness for many-valued logics
• Free-variable semantic tableaux for the logic of fuzzy inequalities

Cited In (4)

• Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic
• Proof Theory for First Order Łukasiewicz Logic
• Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic
• Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic

This page was built for publication: Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form

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