Classical Gentzen-type Methods in Propositional Many-valued Logics-Reference-Cited by-同舟云学术

Classical Gentzen-type Methods in Propositional Many-valued Logics

Published:2003 Issue: Volume: Page:117-155
ISSN:1434-9922
Container-title:Beyond Two: Theory and Applications of Multiple-Valued Logic
language:
Short-container-title:

Author:

Avron Arnon

Publisher

Physica-Verlag HD

Link

http://link.springer.com/content/pdf/10.1007/978-3-7908-1769-0_5

Reference60 articles.

1. Arieli, O. and Avron, A.: Logical bilattices and inconsistent data, in Proc. 9th IEEE Annual Symp. on Logic in Computer Science (LICS’94), IEEE Press (1994) 468–476

2. Arieli, O. and Avron, A.: Reasoning with logical bilattices, J. of Logic, Language and Information, vol. 5, no. 1 (1996) 25–63

3. Arieli, O. and Avron, A.: The value of four values, Artificial Intelligence, vol. 102, no. 1 (1998) 97–141

4. Anderson, A.R. and Belnap, N.D.: Entailment, vol. I. Princeton University Press (1975)

5. Anderson, A.R. and Belnap, N.D.: Entailment, vol. II. Princeton University Press (1992)

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

1. Notes on Models of (Partial) Kripke–Feferman Truth;Studia Logica;2022-10-15

2. Two-sided Sequent Calculi for FDE-like Four-valued Logics;Journal of Philosophical Logic;2022-08-25

3. Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics;Electronic Proceedings in Theoretical Computer Science;2020-09-19

4. Exactly true and non-falsity logics meeting infectious ones;Journal of Applied Non-Classical Logics;2020-04-02

5. A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur;Logic Programming and Nonmonotonic Reasoning;2019