Multi-Valued Logics-Reference-Cited by-同舟云学术

Multi-Valued Logics

Published:1998 Issue: Volume: Page:25-74
ISSN:
Container-title:Quantified Representation of Uncertainty and Imprecision
language:
Short-container-title:

Author:

Panti Giovanni

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-017-1735-9_2

Reference114 articles.

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

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

3. M. Baaz, C. G. Fermüller, and R. Zach. Elimination of cuts in first-order finite-valued logics. J. Informat. Process. Cybernet., EIK 29 (6): 333–355, 1993.

4. M. Baaz and R. Zach. Approximating propositional calculi by finite-valued logics. In Proc. International Symposium on Multiple-Valued Logics, ISMVL’94, Boston/MA, USA. IEEE Press, Los Alamitos, 1994.

5. R. Balbes and Ph. Dwinger. Distributive Lattices. University of Missouri Press, 1974.

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

1. Ternary Function Classification Using Machine Learning;2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL);2024-05-28

2. Logical approaches to fuzzy similarity-based reasoning: an overview;Preferences and Similarities;2008

3. QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS;International Journal of Quantum Information;2007-10

4. Generic substitutions;Journal of Symbolic Logic;2005-03

5. Łukasiewicz Logic and Chang’s MV Algebras in Action;Trends in Logic;2003