Follow
Chrysafis Hartonas
Chrysafis Hartonas
Other namesTakis Hartonas
Department of Digital Systems, University of Thessaly, Greece
Verified email at uth.gr - Homepage
Title
Cited by
Cited by
Year
Stone duality for lattices
C Hartonas, JM Dunn
Algebra Universalis 37 (3), 391-401, 1997
841997
On the logic of information flow
J Barwise, D Gabbay, C Hartonas
Logic Journal of IGPL 3 (1), 7-49, 1995
701995
Duality for lattice-ordered algebras and for normal algebraizable logics
C Hartonas
Studia Logica 58, 403-450, 1997
641997
Duality theorems for partial orders, semilattices, Galois connections and lattices
C Hartonas, JM Dunn
Preprint IULG-93-26, Indiana University Logic Group, 1993
291993
Duality for bounded lattices
G Allwein, C Hartonas
Indiana University Logic Group Preprint Series, IULG-93-25, 1993
271993
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
262016
Duality for modal μ-logics
C Hartonas
Theoretical Computer Science 202 (1-2), 193-222, 1998
241998
Stone duality for lattice expansions
C Hartonas
Logic Journal of the IGPL 26 (5), 475-504, 2018
202018
Order-dual relational semantics for non-distributive propositional logics
C Hartonas
Logic Journal of the IGPL 25 (2), 145-182, 2017
182017
Order-Duality, Negation and Lattice Representation
C Hartonas
Negation: A Notion in Focus (ed H. Wansing), 27-36, 1996
171996
Discrete duality for lattices with modal operators
C Hartonas
Journal of Logic and Computation 29 (1), 71-89, 2019
162019
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 s Hartonas
161994
Duality for bounded lattices. Indiana University Logic Group
G Allwein, C Hartonas
Preprint Series, IULG-93-25, 1993
161993
Representations of Lattices with Modal Operators with Two-Sorted Frames
EO C. Hartonas
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
Order-dual relational semantics for non-distributive propositional logics: a general framework
C Hartonas
Journal of Philosophical Logic 47 (1), 67-94, 2018
132018
Duality results for (co) residuated lattices
C Hartonas
Logica Universalis 13, 77-99, 2019
112019
Modal translation of substructural logics
C Hartonas
Journal of Applied Non-Classical Logics 30 (1), 16-49, 2020
102020
Lattice logic as a fragment of (2-sorted) residuated modal logic
C Hartonas
Journal of Applied Non-Classical Logics 29 (2), 152-170, 2019
102019
The system can't perform the operation now. Try again later.
Articles 1–20