Database Reference
In-Depth Information
2. G. Birkhoff,
Lattice Theory
. Amer. Math. Soc. Colloquium Publications, vol. XXV (1940).
Reprinted 1979
3. A. Chagrov, M. Zakharyashev,
Modal Logic
. Oxford Logic Guides, vol. 35 (Oxford University
Press, Oxford, 1997)
4. D. de Jongh, A.S. Troelstra, On the connection of partially ordered sets with some pseudo-
Boolean algebras. Indag. Math.
28
, 317-329 (1966)
5. S. Eilenberg, G.M. Kelly, Closed categories, in
Proceedings of the Conference on Categorical
Algebra
, La Jolla, 1965 (Springer, Berlin, 1966), pp. 421-562
6. M.C. Fitting, Bilattices and the semantics of logic programming. J. Log. Program.
11
, 91-116
(1991)
7. M. Ginsberg, Multivalued logics: a uniform approach to reasoning in artificial intelligence.
Comput. Intell.
4
, 265-316 (1988)
8. R. Goldblat,
Topoi: The Categorial Analysis of Logic
(North-Holland, Amsterdam, 1979)
9. V.A. Jankov, Ob ischislenii slabogo zakona iskljuchennogo tret'jego. Izv. Akad. Nauk SSSR,
Ser. Mat.
32
(5), 1044-1051 (1968)
10. S.A. Kripke, Semantical analysis of intuitionistic logic I, in
Formal Systems and Recursive
Functions
, ed. by J.N. Crossley, M.A.E. Dummett (North Holland, Amsterdam, 1965), pp.
92-130
11. S.M. Lane, T. Moerdijk,
Sheaves in Geometry and Logic: A First Introduction to Topos Theory
(Springer, Berlin, 1991)
12. F.W. Lawvere, Introduction, in
Toposes, Algebraic Geometry and Logic
. Lecture Notes in
Mathematics, vol. 274 (Springer, Berlin, 1972)
13. W. Lawvere, Metric spaces, generalized logic, and closed categories, in
Rendiconti del Semi-
nario Matematico e Fisico di Milano, XLIII
(Tipografia Fusi, Pavia, 1973)
14. C.I. Lewis, Implication and the algebra of logic. Mind
21
, 522-531 (1912)
15. S. Maclane, Sets, topoi, and internal logic in categories, in
Logic Colloquium 1973
, ed. by
H.E. Rose, J.C. Shepherdson (North-Holland, Amsterdam, 1975), pp. 119-134
16. Z. Majkic, Autoreferential semantics for many-valued modal logics. J. Appl. Non-Class. Log.
18
(1), 79-125 (2008)
17. Z. Majkic, Bilattices, intuitionism and truth-knowledge duality: concepts and foundations. J.
Mult.-Valued Log. Soft Comput.
14
(6), 525-564 (2008)
18. Z. Majkic, A new representation theorem for many-valued modal logics.
arXiv:1103.0248v1
(2011), 01 March, pp. 1-19
19. R. Paré, C0-limits in topoi. Bull. Am. Math. Soc.
80
, 556-561 (1974)
20. L. Pinto, R. Duckhoff, Loop-free construction of counter-models for intuitionistic proposi-
tional logic, in
Symposia Gausianna Conference
, New York (1995), pp. 225-232
21. H. Rasiowa, R. Sikorski,
The Mathematics of Metamathematics
, 3rd edn. (PWN-Polisch Sci-
entific Publishers, Warsaw, 1970)
22. G. Servi, On modal logics with an intuitionistic base. Stud. Log.
36
, 141-149 (1977)
23. V.B. Sheltman, Kripke type semantics for propositional modal logics with intuitionistic base,
in
Modal and Tense Logics
, Institute of Philosophy, USSR Academy of Sciences (1979), pp.
108-112
24. M. Tierney, Sheaf theory and the continuum hypothesis, in
Lecture Notes in Mathematics
,
vol. 274 (Springer, Berlin, 1972)
25. J. Underwood, A constructive completeness proof for the intuitionistic propositional calcu-
lus, in
Proc. of Second Workshop on Theorem Proving and Analytic Tableaux and Related
Methods
, Marselle, France, April (1993)
26. F. Wolter, M. Zakharyaschev, On the relation between intuitionistic and classical modal logics.
Algebra Log.
62
, 73-92 (1997)
27. F. Wolter, M. Zakharyaschev, Intuitionistic modal logics as fragments of classical bimodal
logics, in
Logic at Work
, ed. by E. Orlowska (Springer, Berlin, 1999), pp. 168-186