Tableaux for Many-Valued Logics-Reference-Cited by-同舟云学术

Tableaux for Many-Valued Logics

Published:1999 Issue: Volume: Page:529-580
ISSN:
Container-title:Handbook of Tableau Methods
language:
Short-container-title:

Author:

Hähnle Reiner

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-017-1754-0_9.pdf

Reference106 articles.

1. A. Avron. Natural 3-valued logics—characterization and proof theory. Journal of Symbolic Logic, 56 (1): 276–294, 1991.

2. M. Baaz and C. G. Fermüller. Nonelementary speedups between different versions of tableaux. In Peter Baumgartner, Reiner Hähnle, and Joachim Posegga, editors, Proc. 4th Workshop on Deduction with Tableaux and Related Methods, St. Goar, Germany, volume 918 of LNCS, pages 217–230. Springer-Verlag, 1995.

3. M. Baaz and C. G. Fermüller. Resolution-based theorem proving for many-valued logics. Journal of Symbolic Computation, 19 (4): 353–391, April 1995.

4. M. Baaz and R. Zach. Note on calculi for a three-valued logic for logic programming. Bulletin of the EATCS, 48: 157–164, 1992.

5. B. Becker and R. Drechsler. Efficient graph-based representation of multi-valued functions with an application to genetic algorithms. In Proc. 24th International Sym- posium on Multiple-Valued Logic, Boston/MA, pages 65–72. IEEE Press, Los Alamitos, May 1994.

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

1. Tractable depth-bounded approximations to FDE and its satellites;Journal of Logic and Computation;2023-06-19

2. Non-standard Modalities in Paraconsistent Gödel Logic;Logics in Artificial Intelligence;2023

3. Two-Layered Logics for Paraconsistent Probabilities;Logic, Language, Information, and Computation;2023

4. A Qualitative Temporal Extension of Here-and-There Logic;Logic Programming and Nonmonotonic Reasoning;2022

5. Querying and Reasoning in Paraconsistent Rule-Object Languages with Inheritance Expressions;Computational Collective Intelligence;2022