-
1
-
-
0000024664
-
Kripke models for linear logic
-
ALLWEIN, G. and DUNN, J. M., Kripke models for linear logic, The Journal of Symbolic Logic 58-2 (1993), 514-545.
-
(1993)
The Journal of Symbolic Logic
, vol.58
, Issue.2
, pp. 514-545
-
-
Allwein, G.1
Dunn, J.M.2
-
2
-
-
0010720771
-
-
Indiana University Logic Group, Preprint Series, IULG-93-25
-
ALLWEIN, G. and HARTONAS, C., Duality for bounded lattices, Indiana University Logic Group, Preprint Series, 1993, IULG-93-25.
-
(1993)
Duality for Bounded Lattices
-
-
Allwein, G.1
Hartonas, C.2
-
3
-
-
0010754796
-
-
reprinted 1979, Amer. Math. Soc. Colloquium Publications XXV
-
BIRKHOFF, G., Lattice Theory, reprinted 1979, Amer. Math. Soc. Colloquium Publications XXV, 1940.
-
(1940)
Lattice Theory
-
-
Birkhoff, G.1
-
4
-
-
67649442312
-
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, 478, Springer Verlag
-
DUNN, J. M., 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, 1991.
-
(1991)
LNCS
, vol.478
-
-
Dunn, J.M.1
-
5
-
-
84867789451
-
The stone space of an ortholattice
-
GOLDBLATT, R. I., The stone space of an ortholattice, Bull. London Math. Soc. 7 (1975), 45-48.
-
(1975)
Bull. London Math. Soc.
, vol.7
, pp. 45-48
-
-
Goldblatt, R.I.1
-
6
-
-
0010721462
-
Order-duality, negation and lattice representation
-
ed. H. Wansing, De Gruyter, Berlin
-
HARTONAS, C., Order-duality, negation and lattice representation, in Negation: Notion in Focus, ed. H. Wansing, De Gruyter, Berlin, 1996, 27-36.
-
(1996)
Negation: Notion in Focus
, pp. 27-36
-
-
Hartonas, C.1
-
7
-
-
0001268350
-
Duality for lattice-ordered algebras and for normal algebraizable logics
-
HARTONAS, C., Duality for lattice-ordered algebras and for normal algebraizable logics. To appear in Studia Logica (1997).
-
(1997)
Studia Logica
-
-
Hartonas, C.1
-
8
-
-
0000296370
-
A topological representation for lattices
-
HARTUNG, G., A topological representation for lattices, Algebra univers. 17 (1992), 273-299.
-
(1992)
Algebra Univers
, vol.17
, pp. 273-299
-
-
Hartung, G.1
-
9
-
-
0004072372
-
-
Cambridge University Press
-
JOHNSTONE, P. T., Stone Spaces, Cambridge University Press, 1986.
-
(1986)
Stone Spaces
-
-
Johnstone, P.T.1
-
10
-
-
84957460274
-
Representation of distributive lattices by means of ordered stone spaces
-
PRIESTLEY, H. A., Representation of distributive lattices by means of ordered stone spaces, Bull. Lond. Math. Soc. 2 (1970), 186-190.
-
(1970)
Bull. Lond. Math. Soc.
, vol.2
, pp. 186-190
-
-
Priestley, H.A.1
-
11
-
-
0010715527
-
The representation of boolean algebras
-
STONE, M. H., The representation of boolean algebras, Bull. Amer. Math. Soc. 44 (1938), 807-816.
-
(1938)
Bull. Amer. Math. Soc.
, vol.44
, pp. 807-816
-
-
Stone, M.H.1
-
12
-
-
0001886207
-
Topological representation of distributive lattices and Brouwerian logics
-
STONE, M. H., Topological representation of distributive lattices and Brouwerian logics, Casopsis pro Pestovani Matematiky a Fysiky 67 (1937), 1-25.
-
(1937)
Casopsis pro Pestovani Matematiky a Fysiky
, vol.67
, pp. 1-25
-
-
Stone, M.H.1
-
13
-
-
51249181509
-
A topological representation theorem for lattices
-
URQUHART, A., A topological representation theorem for lattices, Algebra univers. 8 (1979), 45-58.
-
(1979)
Algebra Univers.
, vol.8
, pp. 45-58
-
-
Urquhart, A.1
-
14
-
-
0000199926
-
Bedeutungen von begriffsverbänden
-
ed. by B. Ganter, R. Wille and K. E. Wolff, B. I. Wissenschaftsverlag, Mannheim, Wein, Zürich
-
WILLE, R., Bedeutungen von Begriffsverbänden, in Beiträge zur Begriffsanalyse, ed. by B. Ganter, R. Wille and K. E. Wolff, B. I. Wissenschaftsverlag, Mannheim, Wein, Zürich, 1987, 161-211.
-
(1987)
Beiträge zur Begriffsanalyse
, pp. 161-211
-
-
Wille, R.1
|