Free-variable semantic tableaux for the logic of fuzzy inequalities
DOI10.1007/S10469-016-9382-9zbMATH Open1386.03025OpenAlexW2502870360MaRDI QIDQ2364294FDOQ2364294
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
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
fuzzy logicNP-complete problemtableau calculushypersequent calculusautomatic proof searchtableau closabilityinfinite-valued first-order Łukasiewicz logic
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)
Cites Work
- The art of computer programming. Volume 4A. Combinatorial algorithms. Part 1.
- Metamathematics of fuzzy logic
- Title not available (Why is that?)
- Proof theory for fuzzy logics
- Linear unification
- Title not available (Why is that?)
- Title not available (Why is that?)
- The liberalized \(\delta\)-rule in free variable semantic tableaux
- Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic
- Equality reasoning in sequent-based calculi
- Title not available (Why is that?)
- Title not available (Why is that?)
- A labelled sequent calculus for BBI: proof theory and proof search
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)
