Proof theory of fuzzy logics: Urquhart's C and related logics-Reference-Cited by-同舟云学术

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

Published:1998 Issue: Volume: Page:203-212
ISSN:0302-9743
Container-title:Mathematical Foundations of Computer Science 1998
language:
Short-container-title:

Author:

Baaz Matthias,Ciabattoni Agata,Fermüller Christian,Veith Helmut

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0055769

Reference16 articles.

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.

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Scott’s semantics for many-valued logic;Journal of Logic and Computation;2020-07-21

2. Ten problems in Gödel logic;Soft Computing;2016-09-28

3. Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences;On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory;2016

4. Graded tableaux for Rational Pavelka Logic;International Journal of Intelligent Systems;2005

5. Automated Generation of Analytic Calculi for Logics with Linearity;Computer Science Logic;2004