کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
394548 | 665812 | 2013 | 13 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Computer proof of monotonicity of operations on orthomodular lattices
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Computer proof of monotonicity of operations on orthomodular lattices Computer proof of monotonicity of operations on orthomodular lattices](/preview/png/394548.png)
چکیده انگلیسی
In this paper we study the monotonicity of binary operations in orthomodular lattices and their distributivity with respect to the lattice operations. We present several steps to reduce the amount of computations which would be necessary otherwise, if even possible. The methods, in combination, allow to characterize all monotonic orthomodular lattice operations. Consequences for the (non-)existence of normal forms of expressions in orthomodular lattices are discussed.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Sciences - Volume 236, 1 July 2013, Pages 205–217
Journal: Information Sciences - Volume 236, 1 July 2013, Pages 205–217
نویسندگان
Jeannine J.M. Gabriëls, Mirko Navara,