Free-variable semantic tableaux for the logic of fuzzy inequalities

DOI10.1007/s10469-016-9382-9zbMath1386.03025OpenAlexW2502870360MaRDI QIDQ2364294

Aleksandr Sergeevich Gerasimov

Publication date: 18 July 2017

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-016-9382-9

zbMATH Keywords

fuzzy logictableau calculusNP-complete problemhypersequent calculusautomatic proof searchinfinite-valued first-order Łukasiewicz logictableau closability

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (3)

Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form ⋮ Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic ⋮ Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic

Cites Work

• Linear unification
• Metamathematics of fuzzy logic
• The liberalized \(\delta\)-rule in free variable semantic tableaux
• Proof theory for fuzzy logics
• A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
• Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Free-variable semantic tableaux for the logic of fuzzy inequalities