المؤلفون: Minghui Ma, Juntong Guo

المصدر: Mathematics, Vol 12, Iss 1, p 146 (2024)

مصطلحات موضوعية: Heyting algebra, De Morgan algebra, intuitionistic logic, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2227-7390/12/1/146; https://doaj.org/toc/2227-7390

URL الوصول: https://doaj.org/article/54ac28fff79d47908ae6eaa86c0f6e1b

المؤلفون: Blyth, T. S.^Aff4, Silva, H. J.^Aff5

المساهمون: Hansson, Sven Ove, Editor-in-Chief^Aff1, Düntsch, Ivo, editor^Aff2, Mares, Edwin, editor^Aff3

المصدر: Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. 22:367-387

المؤلفون: Chajda, Ivan, Paseka, Jan

المصدر: 2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL) Multiple-Valued Logic (ISMVL), 2016 IEEE 46th International Symposium on. :119-124 May, 2016

Relation: 2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL)

المؤلفون: Movsisyan, Yuri, Davidova, Diana

المصدر: 2015 Computer Science and Information Technologies (CSIT) Computer Science and Information Technologies (CSIT), 2015. :41-43 Sep, 2015

Relation: 2015 Computer Science and Information Technologies (CSIT)

المؤلفون: Chajda, Ivan, Paseka, Jan

المصدر: 2013 IEEE 43rd International Symposium on Multiple-Valued Logic Multiple-Valued Logic (ISMVL), 2013 IEEE 43rd International Symposium on. :219-224 May, 2013

Relation: 2013 IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL)

المؤلفون: Rivieccio, Umberto^Aff1, Jung, Achim

المصدر: Soft Computing: A Fusion of Foundations, Methodologies and Applications. 25(2):851-868

المؤلفون: Adams, M. E., Sankappanavar, H. P.^Aff1, de Carvalho, Júlia Vaz

المصدر: Order: A Journal on the Theory of Ordered Sets and its Applications. 37(3):529-557

المؤلفون: Haviar, Miroslav^{Aff1, Aff2}, Ploščica, Miroslav

المصدر: Algebra universalis. 82(4)

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Walker, Carol L., Waker, Elbert A.

المصدر: NAFIPS 2009 - 2009 Annual Meeting of the North American Fuzzy Information Processing Society Fuzzy Information Processing Society, 2009. NAFIPS 2009. Annual Meeting of the North American. :1-6 Jun, 2009

Relation: NAFIPS 2009 - 2009 Annual Meeting of the North American Fuzzy Information Processing Society