Proof theory of fuzzy logics: Urquhart's C and related logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1450 LNCS, Issue , 1998, Pages 203-212

  Baaz, Matthias ^a   Ciabattoni, Agata ^b   Fermüller, Christian ^a   Veith, Helmut ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b Dipartimento di Scienze dell'Informazione   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; COMPUTER CIRCUITS;

BASIC FUZZY LOGIC; COMMUTATIVITY; CUT ELIMINATION; INTUITIONISTIC LOGIC; PROOF THEORY; TRUTH VALUES; LUKASIEWICZ LOGIC;

FUZZY LOGIC;

EID: 84896742532     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055769     Document Type: Conference Paper

References (16)

1. Adillon, R. J., Verdú, V.: On the {→, ∧, ∨, ⊙, 0}-contraction-less Intuitionistic Propositional Calculus. Draft. 1997.
2. Avron, A.: Hypersequents, Logical Consequence and Intermediate Logics for Concurrency. Annals of Mathematics and Artificial Intelligence Vol. 4, 1991, 225-248.
3. Avron, A.: The Method of Hypersequents in Proof Theory of Propositional Non-Classical Logics. In Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20-29, 1993. Oxford, Clarendon Press, 1996, 1-32.
4. Dummett, M.: A Propositional Logic with Denumerable Matrix. Journal of Symbolic Logic Vol. 24, 1959, 96-107.
5. Dyckhoff, R.: Contraction-Free Sequent Calculi for Intuitionistic Logic. The Journal of Symbolic Logic, Vol. 57/3, 1992, 795-807.
6. Gödel, K.: Zum Intuitionistischen Aussagenkalkül. Ergebnisse eines mathematischen Kolloquiums 4, 1933, 34-38.
7. Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, to appear.
8. Hájek, P., Godo L., Esteva, F.: A complete many-valued logic with product-conjunction. Archive for Math. Logic, Vol. 35 (1996), 191-208.
9. Łukasiewicz, J.: Zagadnienia prawdy (The problems of truth). In Ksiȩga pamia̧tkowa XI zjazdu lekarzy i przyrodników polskich 1922, 84-85, 87.
10. Łukasiewicz, J.: Philosophische Bemerkungen zu mehrwertigen Systemen der Aussagenlogik. Comptes Rendus de la Societe des Science et de Lettres de Varsovie, cl.iii 23 (1930), 51-77.
11. Mendéz, J.M., Salto, F.: Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom. Notre Dame Journal of Formal Logic, Vol. 36/3, 1995, 407-413.
12. Kiriyama, E., Ono, H.: The Contraction Rule in Decision Problems for Logics without Structural Rules. Studia Logica, Vol. 50/2, 1991, 299-319.
13. Ono, H., Komori, Y.: Logics without the Contraction Rule. The Journal of Symbolic Logic, Vol. 50/1, 1985, 169-201.
14. Troelstra, A. S., Schwichtenberg, H.: Basic Proof Theory. Cambridge University Press. 1996.
15. Urquhart, A.: Many-Valued Logic, in Handbook of Philosophical Logic, Vol III, ed. by D. Gabbay and F. Guenthner, Reidel, Dordrecht, 1984.
16. Zadeh, L.A.: Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems. Selected Papers by Lotfi A. Zadeh ed. by G.J. Klir and B. Yuan. World Scientific Publishing, 1996.