Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics

Studia Logica

Volumn 58, Issue 3, 1997, Pages 403-450

  Hartonas, Chrysafis ^a  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

Lattice ordered algebras; Stone duality; Substructural logics

Indexed keywords

EID: 0001268350     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1004982417404     Document Type: Article

References (48)

1. ABRUSCI, V. M., 1990, Non-Commutative Intuitionistic Linear LogierΓ Zeitschr. f. math. Logik und Grundlagen d. Math. 36, 297-318.
2. ALLWEIN, G., and J. M. DUNN, 1993, Kripke Models for Linear LogicΓ The Journal of Symbolic Logic 58Γ514-545.
3. ALLWEIN, G., and C. HARTONAS 1993, Duality for Bounded LatticesΓIndiana University Logic Group, Preprint Series, IULG 93-25.
4. BARWISE, J., D. GABBAY, C. HARTONAS 1995, On the Logic of Information FlowΓ Bulletin of the IGPL, 3Γ1Γ7-49. IULG 94-29.
5. VAN BENTHEM, J., 1984, Modal Cerrespondance TheoryΓ in: D. Gabbay and F. GuenthnerΓ eds.Γ. Handbook of Philosophical Logicγ vol. IIγ Redelγ Dordrechtγ 167-247.
6. BIRKHOFF, G., 1940, Lattice Theory, reprinted 1979γ Amer. Math. Soc. Colloquium Publications 25.
7. BLOK, W. J., and D. PIGOZZI, 1989, Algebraizable Logics γ Memoirs of the American Mathematical Society 77, number 396γProvidenceγRhode IslandγUSA.
8. DAVEY, B. A., and H. A. PRIESTLEY, 1990, Introduction to Lattices and Order, Cambridge Mathematical TextbooksγCambridge University Press.
9. DOŜEN, K., 1987, Duality Between Modal Algebras and Neighborhood Framesγ Studia Logica 48, 2.
10. DOSEN, K., 1989-90, Sequent Systems and Groupoid Models IΓIIΓ Studia Logica 47Γ 353-385Γ 48Γ 41-65.
11. DOSEN, K., 1992, Modal Translations in Substructural LogicsΓ Journal of Philosophical Logic 21Γ283-336.
12. DUNN, J. M., 1986, Relevance Logic and EntailmentΓD.Gabbay and F.Guenthner eds. Handbook of Philosophical Logic vol IIIΓD. Reidel Publishing CompanyΓ117-224.
13. DUNN, J. M., 1991, Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation and Various Logical OperatorsΓ Logics in AI, Proceedings European Workshop JELIA 1990ΓLNCS 478ΓSpringer Verlag.
14. DUNN, J. M., 1993, Partial-Gaggles applied to Logics with Restricted Structural RulesΓIndiana University Logic Group, Preprint SeriesΓFULG-93-22.
15. DUNN, J. M., and HARDEGREE, Algebraic Methods in Philosophical Logic, (in progress).
16. GIRARD, J. Y., 1987, Linear LogicΓ Theoretical Computer Science 50-102.
17. GOLDBLATT, R. I., 1975, The Stone Space of an OrtholatticeΓ.Bull. London Math. Soc. 7Γ45-48.
18. GOLDBLATT, R. I., 1974, Semantic Analysis of OrthologicΓ Journal of Philosophical Logic 3Γ19-35.
19. GOLDBLATT, R. I., 1976-7, Metamathematics of Modal Logic IΓ IIΓ Reports on Mathematical Logic 6 41-78 (1976)Γ7 21-52 (1976).
20. GOLDBLATT, R. I., 1989, Varieties of Complex AlgebrasΓ Annals of Pure and Applied Lopic Γ44Γ-242.
21. GOLDBLATT, R. I., 1988, On Closure under Canonical Embedding AlgebrasΓ Colloquia Mathematica Societatis János Bolyai 54Γ Algebraic LopicΓBudapest (Hungary).
22. GOLDBLATT, R. I., 1992, Elementary Generation and Canonicity for Varieties of Boolean Algebras with OperatorsΓ Research Report 92-101Γ Victoria University of WellingtonΓ Mathematics DepartmentΓ WellingtonΓNew Zealand.
23. HALMOS, P. R., 1962, Algebraic Logic, Chelsea Publishing CompanyΓNew York.
24. HANSOUL, G., 1983, A Duality for Boolean Algebras with OperatorsΓ Alebra Universalis 17Γ34-49.
25. HARTONAS, C., 1994, Algebraic and Kripke Semantics for Substructural Logics, Phd thesisΓDepartments of Mathematics and of PhilosophyΓIndiana University.
26. HARTONAS, C., 1993, Lattices with Additional OperatorsΓIndiana University Logic Group, Preprint SeriesΓIULG 93-27.
27. HARTONAS, C., and J. M. DUNN, 1993, Stone Duality for LatticesΓ Algebra UniversalisΓ (to appear).
28. HARTUNG, G., 1992, A Topological Representation of LatticesΓ Algebra Universalis 17Γ273-299.
29. JOHNSTONE, P. T., 1986, Stone Spaces, Cambridge University Press.
30. JÓNSSON, B., and A. TARSKI, 1951-2, Boolean Algebras with OperatorsΓ American Journal of MathematicsΓ73-74Γ891-939Γ 127-162.
31. KRIPKE, S., 1967, Review of [32]Γ Mathematical Reviews 34Γ5660-5661.
32. LEMMON, E. J., 1966, Algebraic Semantics for Modal LogicΓIΓIIΓ of Symbolic Logic 31Γnumber 1 46-65 and number 2 191-218.
33. MARTINEZ, N. G., 1988, The Priestley Duality for Wajsberg AlgebrasΓ Studia Logica 49, 31-46.
34. ONO, H., and Y. KOMORI, 1985, Logics Without the Contraction RuleΓ The Journal of Symbolic Logic 50Γ169-201.
35. ONO, H., 1990, Structural Rules and a Logical HierarchyΓMathematical Logic, Proceedings of the Summer Schools and Conference on Mathematical Logic, Heyting '88Γ BulgariaΓP. P. Petkov ed.ΓPlenum PressΓ95-104.
36. ONO, H., 1992, Algebraic Aspects of Logics without Structural RulesΓ AMS, Contemporary MathematicsΓ 131Γ601-621.
37. PRIESTLEY, H. A., 1970, Representation of Distributive Lattices by means of Ordered Stone SpacesΓ Bull. Lond. Math. Soc. 2Γ186-90.
38. ROUTLEY, R., and R. K. MEYER, 1973, The Semantics of Entailment IΓH. Leblanc ed. Truth, Syntax and SemanticsΓNorth HollandΓ AmsterdamrΓ 194-243.
39. ROUTLEY, R., and R. K. MEYER, 1972, The Semantics of Entailment II and IIIΓ Journal of Philosophical Logic 1Γ53-73Γ192-208.
40. SAMBIN, R., and V. VACCARO, 1988, Topology and Duality in Modal LogicΓ Annals of Pure and Applied Logic 37Γ249-296.
41. STONE, M. H., 1938, The Representation of Boolean AlgebrasΓ Bull. Amer. Math. Soc. 44Γ807-16.
42. STONE, M. H., 1937, Topological Representation of Distributive Lattices and Brouwerian LogicsΓ Casopsis pro Pestovani Matematiky a Fysiky 67Γ1-25.
43. STONE, M. H., 1937, Topological Representation of Distributive Lattices and Brouwerian LogicsΓ Casopsis pro Pestovani Matematiky a Fysiky 67Γ1-25.
44. THOMASON, S. K., 1972, Semantic Analysis of Tense LogicΓ Journal of Symbolic Logic 37Γ150-158.
45. TROELSTRA, A. S., 1992, Lectures on Linear Logic, Center for the Study of Language and InformationΓCSLI Lecture Notes No 29.
46. URQUHART, A., 1979, A Topological Representation Theorem for Lattices Algebra Universalis 8Γ45-58.
47. URQUHART, A., 1979, 1982, Distributive Lattices with a Dual Homomorphic Operation IΓIIΓStudia Logica 38, 40, 201-209Γ391-404.
48. URQUHART, A., Duality for Algebras of Relevant LogicsΓ (in progress).