TY - Jour A2 - Kanemitsu，Shigeru Au - Fujio，Mitsuhiko Py - 2012 DA - 2012/11/05 - 矫形器逻辑SP - 259541 VL - 2012 AB - 形态运算符的矫形量子型量子逻辑形态分析的比较将格子推广为牢缩成对（Serra，1984; Ronse，1990; Heijmans和Ronse，1990; Heijmans，1994）。特别地，应用程序的形态通过Kripke语义来分析逻辑（Bloch，2002; Fujio和Bloch，2004; Fujio，2006）。例如，一对形态运算符作为一个确定的正常模态逻辑的时间化（Fujio和Bloch，2004; Fujio，2006）。此外，可以根据形态内饰和/或闭合操作员（Fujio和Bloch，2004）来描述用于直觉逻辑或线性逻辑模型的结构。这表明形态学分析可以应用于各种非古典逻辑。另一方面，量子逻辑是代数形式化的，作为orhomodular或模块化邻接格子（Birkhoff和Von Neumann，1936; Maeda，1980; Chiara和Giuntini，2002），并显示允许克里克语义（Chiara和Giuntini，2002）。这表明量子逻辑形态分析的可能性。在本文中，为了表明量子逻辑的形态分析效率，我们考虑量子逻辑（Chiara和Giuntini，2002）中的蕴涵问题。我们将在量子逻辑中进行5种多项式含义连接的比较。 SN - 0161-1712 UR - https://doi.org/10.1155/2012/259541 DO - 10.1155/2012/259541 JF - International Journal of Mathematics and Mathematical Sciences PB - Hindawi Publishing Corporation KW - ER -