Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 187-201
- https://doi.org/10.1007/3-540-44622-2_12
Abstract
No abstract availableKeywords
All Related Versions
This publication has 10 references indexed in Scilit:
- A tableau calculus for Dummett predicate logicContemporary Mathematics, 1999
- Metamathematics of Fuzzy LogicPublished by Springer Nature ,1998
- Completeness theorem for dummett's LC quantified and some of its extensionsStudia Logica, 1992
- Hypersequents, logical consequence and intermediate logics for concurrencyAnnals of Mathematics and Artificial Intelligence, 1991
- A Cut‐Free Calculus For Dummett's LC QuantifiedMathematical Logic Quarterly, 1989
- Another proof of the strong completeness of the intuitionistic fuzzy logicTsukuba Journal of Mathematics, 1987
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theoryThe Journal of Symbolic Logic, 1984
- Decidability of some intuitionistic predicate theoriesThe Journal of Symbolic Logic, 1972
- Logic with truth values in A linearly ordered heyting algebraThe Journal of Symbolic Logic, 1969
- A propositional calculus with denumerable matrixThe Journal of Symbolic Logic, 1959