Theo dõi
Chrysafis Hartonas
Chrysafis Hartonas
Tên khácTakis Hartonas
Department of Digital Systems, University of Thessaly, Greece
Email được xác minh tại uth.gr - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Stone duality for lattices
C Hartonas, JM Dunn
Algebra Universalis 37 (3), 391-401, 1997
911997
On the logic of information flow
J Barwise, D Gabbay, C Hartonas
Logic Journal of IGPL 3 (1), 7-49, 1995
711995
Duality for lattice-ordered algebras and for normal algebraizable logics
C Hartonas
Studia Logica 58, 403-450, 1997
691997
Duality theorems for partial orders, semilattices, Galois connections and lattices
C Hartonas, JM Dunn
Preprint IULG-93-26, Indiana University Logic Group, 1993
321993
Duality for bounded lattices
G Allwein, C Hartonas
Indiana University Logic Group Preprint Series, IULG-93-25, 1993
291993
Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
C Hartonas
J. Michael Dunn on information based logics, 279-312, 2016
282016
Stone duality for lattice expansions
C Hartonas
Logic Journal of the IGPL 26 (5), 475-504, 2018
252018
Duality for modal μ-logics
C Hartonas
Theoretical Computer Science 202 (1-2), 193-222, 1998
231998
Order-dual relational semantics for non-distributive propositional logics
C Hartonas
Logic Journal of the IGPL 25 (2), 145-182, 2017
212017
Discrete duality for lattices with modal operators
C Hartonas
Journal of Logic and Computation 29 (1), 71-89, 2019
172019
Representations of Lattices with Modal Operators with Two-Sorted Frames
EO C. Hartonas
172018
Order-Duality, Negation and Lattice Representation
C Hartonas
Negation: A Notion in Focus (ed H. Wansing), 27-36, 1996
171996
Modal and temporal extensions of non-distributive propositional logics
C Hartonas
Logic Journal of the IGPL 24 (2), 156-185, 2016
162016
Information flow and the Lambek calculus
J Barwise, D Gabbay, C Hartonas
Logic, Language and Computation, Proc. 98Despite the overwhelming literature …, 1996
161996
Duality for bounded lattices. Indiana University Logic Group
G Allwein, C Hartonas
Preprint Series, IULG-93-25, 1993
161993
Order-dual relational semantics for non-distributive propositional logics: a general framework
C Hartonas
Journal of Philosophical Logic 47 (1), 67-94, 2018
152018
Full abstractness for a functional/concurrent language with higher-order value-passing
C Hartonas, M Hennessy
Information and Computation 145 (1), 64-106, 1998
151998
Modal translation of substructural logics
C Hartonas
Journal of Applied Non-Classical Logics 30 (1), 16-49, 2020
142020
Duality results for (co) residuated lattices
C Hartonas
Logica Universalis 13, 77-99, 2019
132019
Lattice logic as a fragment of (2-sorted) residuated modal logic
C Hartonas
Journal of Applied Non-Classical Logics 29 (2), 152-170, 2019
122019
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20