Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic

DOI10.33048/semi.2020.17.127zbMath1459.03028arXiv1812.04861OpenAlexW3117003048MaRDI QIDQ2212726

Aleksandr Sergeevich Gerasimov

Publication date: 24 November 2020

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1812.04861

zbMATH Keywords

proof theorymany-valued logicinfinitary calculusproof searchmathematical fuzzy logichypersequent calculusfirst-order infinite-valued Łukasiewicz logicfirst-order rational Pavelka logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Many-valued logic (03B50)

Related Items

Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metamathematics of fuzzy logic
• Untersuchungen über das logische Schliessen. I
• Free-variable semantic tableaux for the logic of fuzzy inequalities
• Proof theory for fuzzy logics
• Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic
• Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
• Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form
• Axiomatization of the infinite-valued predicate calculus
• A weak completeness theorem for infinite valued first-order logic
• An extended framework for specifying and reasoning about proof systems