Hypersequents and the proof theory of intuitionistic fuzzy logic

In Peter G. Clote & Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Berlin: Springer. pp. 187– 201 (2000)
Download Edit this record How to cite View on PhilPapers
Abstract
Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, and allows cut-elimination. A question by Takano regarding the eliminability of the Takeuti-Titani density rule is answered affirmatively.
PhilPapers/Archive ID
BAAHAT
Upload history
Archival date: 2017-10-10
View other versions
Added to PP index
2017-10-10

Total views
147 ( #28,569 of 53,010 )

Recent downloads (6 months)
28 ( #23,120 of 53,010 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.