Cut Elimination for Gödel Logic with an Operator Adding a Constant

DOI10.1007/978-3-662-52921-8_3zbMath1478.03050OpenAlexW2498959355MaRDI QIDQ2820683

Matthias Baaz, Juan P. Aguilera

Publication date: 9 September 2016

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-52921-8_3

zbMATH Keywords

cut eliminationGödel logiccalculus of relations

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Monotone operators on Gödel logic
• Proof theory for fuzzy logics

This page was built for publication: Cut Elimination for Gödel Logic with an Operator Adding a Constant