Free-variable semantic tableaux for the logic of fuzzy inequalities

DOI10.1007/S10469-016-9382-9MaRDI QIDQ2364294zbMATH OpenOpenAlexFDO

Authors 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 logicNP-complete problemtableau calculushypersequent calculusautomatic proof searchtableau closabilityinfinite-valued first-order Łukasiewicz logic

Mathematics Subject Classification ID

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

Recommendations

• Erratum to: ``Free-variable semantic tableaux for the logic of fuzzy inequalities
• Free-variable tableaux for propositional modal logics
• Free variable tableaux for propositional modal logics
• Tableau approach for fuzzy propositional modal logic
• scientific article; zbMATH DE number 1765667
• scientific article; zbMATH DE number 1189105
• Ground and free-variable tableaux for variants of quantified modal logics
• scientific article; zbMATH DE number 6276274
• scientific article; zbMATH DE number 1113860
• Constraint tableaux for two-dimensional fuzzy logics

Cites work

• scientific article; zbMATH DE number 3559517 (Why is no real title available?)
• scientific article; zbMATH DE number 1285794 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 6276267 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• A labelled sequent calculus for BBI: proof theory and proof search
• Equality reasoning in sequent-based calculi
• Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic
• Linear unification
• Metamathematics of fuzzy logic
• Proof theory for fuzzy logics
• The art of computer programming. Volume 4A. Combinatorial algorithms. Part 1.
• The liberalized -rule in free variable semantic tableaux

Cited in

(6)

• Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic
• Tableau calculus for basic fuzzy logic BL
• Graded tableaux for Rational Pavelka Logic
• Analytic fuzzy tableaux
• 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

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

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