A kripke semantics for the logic of gelfand quantales

Studia Logica

Volumn 68, Issue 2, 2001, Pages 173-228

  Allwein, Gerard ^a   Maccaull, Wendy ^b  

^a INDIANA UNIVERSITY   (United States)

^b ST FRANCIS XAVIER UNIVERSITY   (Canada)

Author keywords

Frames; Kripke semantics; Lattice representations; Quantales; Semantic tableau

Indexed keywords

EID: 22044445876     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1012495106338     Document Type: Article

References (31)

1. [AB75] Alan Ross ANDERSON and Nuel D. BELNAP, Jr., Entailment: The Logic of Relevance and Necessity, volume I, Princeton University Press, 1975.
2. [ABD92] Alan Ross ANDERSON, Nuel D. BELNAP Jr., and J. Michael DUNN, Entailment: The Logic of Relevance and Necessity, volume II, Princeton University Press, 1992.
3. [AD93] Gerard ALLWEIN and J. Michael DUNN, 'Kripke models for linear logic', Journal of Symbolic Logic 58:514-545, 1993.
4. [All92] Gerard ALLWEIN, The Duality of Algebraic and Kripke Models for Linear Logic, PhD thesis, Indiana University, 1992.
5. [AM98] Gerard ALLWEIN and Wendy MACCAULL, 'Duality for complete lattices', Technical report, Indiana University, 1998.
6. [BG93] Carolyn BROWN and Douglas GURR, 'A representation theorem for quantales', Journal of Pure and Applied Algebra 85:27-42, 1993.
7. [Che80] Brian F. CHELLAS, Modal Logic, an Introduction, Cambridge University Press, 1980.
8. [Dun70] J. Michael DuNN, 'Algebraic completeness results for r-mingle and its extensions', Journal of Symbolic Logic 35:1-13, 1970.
9. [Dun90] J. Michael DuNN, 'Gaggle theory: An abstraction of galois connections and residuation with applications to negation and various logical operations', in Logics in AI, Proceedings European Workshop JELIA, LNCS 478, Springer-Verlag, 1990.
10. [Dun93] J. Michael DuNN, 'Partial gaggle theory applied to logics with restricted structural rules', in K. Dosen and P. Schroeder-Heister, editors, Substructural Logics, 1993.
11. [Gab96] Dov GABBAY, 'Fibered semantics and the weaving of logics. Part 1: Modal and intuitionistic logics', Journal of Symbolic Logic 61:1055-1119, 1996.
12. [HJ87] C. A.R. HOARE and He JIFENG, 'A weakest pre-specification', Inform. Process. Lett. 24:127-132, 1987.
13. [Mac97] Wendy MACCAULL, 'Relational proof theory for linear and other substructural logics', Journal of the Interest Group of Pure and Applied Logic 5:673-697, 1997.
14. [Mac98] Wendy MAcCAULL, 'Relational semantics and a relational proof system for full Lambek calculus', Journal of Symbolic Logic 63:623-637, 1998.
15. [MN95] C. J. MULVEY and M. NAWAZ, 'Quantales: Quantal sets', in Ulrich Hoehle and Erich Peter Klement, editors, Non-Classical Logics and Their Applications to Fuzzy Subsets, Kluwer Academic Publishers, 1995.
16. [MP92] Chris MULVEY and Joan Wick PELLETIER, 'The quantization of the calculus of relations', in "Canadian Mathematical Society Conference Proceedings", American Mathematical Society, Providence, volume 13, pages 345-360, 1992.
17. [MPOO] Chris MULVEY and Joan Wick PELLETIER, 'The quantization of points', to appear in Journal of Pure and Applied Algebra, 2000.
18. [Mu186] Chris MULVEY, &, Suppl. Rend. Circ. Mat. Palermo Ser. II 12:99-104, 1986.
19. [OK85] Hiroakira ONO and Yuichi KoMURI, 'Logics without the contraction rule', Journal of Symbolic Logic 50:169-201, 1985.
20. [Ono93] Hiroakira ONO, 'Semantics for substructural logics', in K. Dosen and P. Schroeder-Heister, editors, Substructural Logics, pages 259-291, 1993.
21. [Orł92] Ewa ORLOWSKA, 'Relational proof system for relevant logics', Journal of Symbolic Logic 57:1425-1440, 1992.
22. [Orł94] Ewa ORLOWSKA, 'Relational semantics for logics: formulas are relations', in Jan Wolenski, editor, Philosophical Logic in Poland, pages 167-186, Kluwer, 1994.
23. [Orł96] Ewa ORLOWSKA, 'Relational environment for semigroup logics', in André Fuhrmann and Hans Rott, editors, Logic, Action, and Information, Essays on Logic in Philosophy and Artificial Intelligence, pages 351-391, Walter de Gruyter, (Berlin, New York), 1996.
24. [PR97] J. Wick PELLETIER and J. ROSICKY, 'Simple involutive quantales', Journal of Algebra 195:367-386, 1997.
25. [Pri72] H. A. PRIESTLEY, 'Ordered topological spaces and the representation of distributive lattices', in Proceedings of the London Mathematical Society, volume 24, pages 507-530, 1972.
26. [RM73] Richard ROUTLEY and Robert K. MEYER, 'The semantics of entailment', in H. Leblanc, editor, Truth, Syntax, and Modality, pages 194-243, North Holland, 1973.
27. [Ros90] Kimmo ROSENTHAL, Quantales and their applications, Pitman Research Notes in Mathematics Series, Longman Scientific and Technical, Copublished in the United States with John Wiley and Sons, Inc., New York, 1990.
28. [RS63] Helena RASIOWA and Roman SlKORSKI, The Mathematics of Metamathematics, Polish Scientific Publishers, 1963.
29. [Sto36] M. H. STONE, 'The theory of representation for Boolean algebras', Transactions of the American Mathematical Society 40:37-111, 1936.
30. [Urq78] Alasdair URQUHART, 'A topological representation theory for lattices', Algebra Universalis 8:45-58, 1978.
31. [vB84] Johan VAN BENTHEM, 'Correspondence theory', in Handbook of Philosophical Logic, Vol. II, Synthese Lib. 165, pages 167-247, D. Reidel Publishing Company, 1984.