From post

Relational Representation Theorems for Lattices with Negations: A Survey.

, , и . Theory and Applications of Relational Structures as Knowledge Instruments, том 4342 из Lecture Notes in Computer Science, Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Ideal related algebras and their logics., и . J. Log. Comput., 31 (8): 2159-2188 (2021)Almost structural completeness; an algebraic approach., и . TACL, том 25 из EPiC Series in Computing, стр. 61-63. EasyChair, (2013)Relational Representation Theorems for General Lattices with Negations., , и . RelMiCS, том 4136 из Lecture Notes in Computer Science, стр. 162-176. Springer, (2006)Unification in some substructural logics of BL-algebras and hoops.. Reports Math. Log., (2008)Intuitionistic propositional logic with Galois connections., , и . Logic Journal of the IGPL, 18 (6): 837-858 (2010)Intuitionistic modal logic with a galois connection has the finite model property1., , и . Logic Journal of the IGPL, 21 (2): 199-204 (2013)Direct Product of ℓ-Algebras and Unification: An Application to Residuated Lattices., и . J. Multiple Valued Log. Soft Comput., 28 (2-3): 189-215 (2017)Relational Representation Theorems for Lattices with Negations: A Survey., , и . Theory and Applications of Relational Structures as Knowledge Instruments, том 4342 из Lecture Notes in Computer Science, Springer, (2006)Characterizing intermediate tense logics in terms of Galois connections., , и . Logic Journal of the IGPL, 22 (6): 992-1018 (2014)Ideal Related Algebras and Their Logics Extended Abstract., и . CLAR, том 12061 из Lecture Notes in Computer Science, стр. 96-103. Springer, (2020)