Knowledge, uncertainty and ignorance in logic: Bilattices and beyond

Journal of Applied Non-Classical Logics

Volumn 9, Issue 2-3, 1999, Pages 195-283

  Gargov, George ^a  

^a NONE

Author keywords

Bilattices; Info algebras; Knowledge; Logical practices; Many valued logics; Set expansions; Truth values; Uncertainty

Indexed keywords

EID: 0007904822     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.1999.10510967     Document Type: Review

References (62)

1. Atanassov, K., "Intuitionistic fuzzy sets," Fuzzy Sets and Systems, vol. 20 (1986), pp. 87-96
2. Atanassov, K. and G. Gargov, "Interval valued intuitionistic fuzzy sets," Fuzzy Sets and Systems, vol. 31 (1989), pp. 343-349
3. Atanassov, K. and G. Gargov, "Intuitionistic fuzzy logic," Comptes de l'Acad. bulg. des Sciences, vol. 43 (1990), No. 3, pp. 9-12
4. Avron, A., "Natural 3-valued logics- characterization and proof theory," The Journal of Symbolic Logic, vol. 56 (1991 ), pp. 276-294
5. Bell, J., "Pragmatic logics," pp. 50-59 in Principles of Knowledge Representation and Reasoning edited by J. Allen, R. Fikes and E. Sandewall, M. Kaufmann, San Mateo, 1991
6. Belnap, Jr., N.D., "A useful four-valued logic," pp. 8-37 in Modern Uses of Multiple-Valued Logic edited by G. Epstein and J. M. Dunn , Reidel, Dordrecht, 1977
7. Belnap, Jr., N. D., "How a computer should think," pp. 30-55 in Contemporary Aspects in Philosophy edited by G. Ryle, Oriel Press, 1977
8. Brown, D. and R. Suszko, "Abstract logics," Dissertationes Mathematicae, vol.102(1973),pp.l-4l
9. Calabrese, P., "An algebraic synthesis of the foundations of logic and probability," Information Sciences, vol. 42 ( 1987), pp. 187-237
10. Dempster, A. P., "Upper and lower probabilities induced by a multi valued mapping," Annals of Mathematical Statistics, vol. 38 ( 1967), pp. 325-339
11. Dubois, D. and H. Prade, "Conditional objects and non-monotonic reasoning," pp. 175-185 in Principles of Knowledge Representation and Reasoning edited by J. Allen, R. Fikes and E. Sandewall, M.Kaufmann, San Mateo, 1991
12. Dunn, J. M., "Intuitive semantics for first degree entailment and coupled trees," Philosophical Studies, vol. 29 (1976), pp. 149-168
13. van Emden, M., "Quantitative deduction and its fixpoint theory," Journal of Logic Programming, vol. 3 (1986), pp. 37-53
14. Finn, V. K., 0. M. Anshakov, R. Grigolia and M. I. Zabezhailo, "Manyvalued logics as fragments of formalized semantics," Semiotika & lnformatika, vol. 15 (1980), pp. 27-60 (in Russian)
15. Fitting, M., "Bilattices and the theory of truth," Journal of Philosophical Logic, vol. 18 (1989), pp. 225-256
16. Fitting, M., "Bilattices in logic programming," pp. 238-246 in The Twentieth International Symposium on Multiple-Valued Logic edited by G. Epstein, IEEE, 1990
17. Fitting, M., "Bilattices and the semantics of logic programming," Journal of Logic Programming, vol. 11 (1991), pp. 91-116
18. Fitting, M., "Kieene's three-valued logics and their children," forthcoming in Proceedings of Bulgarian Kleene'90 Conference
19. Fitting, M., "Kieene's logic, generalized," forthcoming in Journal of Logic and Computation
20. Fitting, M., "Well-founded semantics, generalized," draft, January 18, 1991
21. Font, J. M. and M. Moussavi, "Note on a six-valued extension of threevalued logic," Mathematics Preprint 86, Universidad de Barcelona, November 1990
22. Frisch, A.M., "Inference without chaining," pp. 515-519 in Proceedings of the Tenth IJCAI, Milan, 1987
23. Garcia, 0. N. and M. Moussavi, "A six-valued logic for representing incomplete knowledge," pp. 110-114 in The Twentieth International Symposium on Multiple-Valued Logic edited by G. Epstein, IEEE, 1990
24. Gardenfors, P., "Forecasts, decisions, and uncertain probabilities," Erkenntnis, vol. 14 (1979), pp. 159-181
25. Gardenfors, P. Knowledge in Flux, The MIT Press, Cambridge, Mass., 1988
26. Gargov, G., "On a new kind of interpretation of propositional languages," pp. 42-45 in Summer School on Mathematical Logic and Its Applications, Primorsko, September 1983, Short Communications, Publ. House of BAS, Sofia, 1983
27. Gargov, G., "New semantics for some many-valued logics," The Journal of Non-Classical Logic, vol. 4 (1987), pp. 37-56
28. Gargov, G., "An intuitionistic three-valued logic," pp. 75-83 in Types of Logical Systems and the Problem of Truth edited by B. Dyankov, Inst. of Philosophy, BAS, Sofia, 1988
29. Gargov, G., "On some logics of contradiction," pp. 117-124 in Logical Consistency and Dialectical Contradiction edited by B. Dyankov, Inst. of Philosophy, BAS, Sofia, 1988
30. Gargov, G. and S. Radev, "Expert logics," pp. 181-188 in Artificial Intelligence 2: Methodology, Systems, Applications. AIMSA'86 edited by Ph. Jorrand and V. Sgurev, North Holland, Amsterdam, 1987
31. Gargov, G. and S. Radev, "Arguments and strategies (from Lukasiewicz to Polya)," Philosophical Thought (Sofia), No. 12, 1987, pp. 76-84 (in Bulgarian)
32. Ginsberg, M. L., "Multivalued logics: a uniform approach to reasoning in artificial intelligence," Computational Intelligence , vol. 4 (1988), pp. 265-316
33. Ginsberg, M. L., "Bilattices and modal operators," Journal of Logic and Computation, vol. 1 (1990), xx-yy
34. Goodman, I. R., H. T. Nguyen and E. A. Walker, Conditional Inference and Logic for Intelligent Systems: a theory of measure-free conditioning, Amsterdam, North Holland, 1991
35. Gurevich, Yu., "Intutionistic logic with strong negation," Studia Logica, vol. 36 (1977), pp. 49-59
36. Kleene, S. K. Introduction to Metamathematics. Van Nostrand, 1952
37. Kripke, S., "Outline of a theory of truth," The Journal of Philosophy, vol. 72 (1975), pp. 690-716
38. Kyburg, H. The Logical Foundations of Statistical Inference, Dordrecht, Reidel, 1974
39. Lewis, D., "Logic for equivocators," No us, vol. 16 ( 1982), pp. 431-441
40. Monteiro, A., "Construction des algebres de Nelson finies," Bulletin de l'Academie Polonaise des Sciences, vol.ll (1963), pp. 359-363
41. Nelson, D., "Constructible falsity," The Journal of Symbolic Logic, vol. 14 (1949), pp. 16-26
42. Pequeno, T. and A. Buchsbaum, "The logic of epistemic inconsistency," pp. 453-460 in Principles of Knowledge Representation and Reasoning edited by J. Allen, R. Fikes and E. Sandewall, M. Kaufmann, San Mateo, 1991
43. Priest, G., "Logic of paradox," Journal of Philosophical Logic, vol. 19 (1979), pp. 415-435
44. Priest, G., "Logic of paradox revisited," Journal of Philosophical Logic, vol. 13 (1984), pp. 153-179
45. Rasiowa, H., "N-lattices and constructive logic with strong negation," Fundamenta Mathematicae, vol. 46 (1958), pp. 61-80
46. Rasiowa, H. and R. Sikorski, The Mathematics of Metamathematics, PWN, Warsaw, 1963
47. Rescher, N. and R. Brandom, The Logic of Inconsistency: A Study in NonStandard Possible World Semantics and Ontology, Rowman and Littlefield, Totowa, New Jersey, 1979
48. Romanowska, A. and A. Trakul, "On the structure of some bilattices," pp. vv-tt in Universal and Applied Algebra edited by H. Hatkowsak and Stowski, World Scientific, Singapore, 1990
49. Sandewall, E., "A functional approach to non-monotonic logic," pp. 100-106 in Proceedings of the Ninth IJCAI, 1985
50. Scott, D., "Some ordered sets in computer science," pp. 677-718 in Ordered Sets edited by 1. Rival, Reidel, Dordrecht, 1982
51. Segerberg, K., An Essay in Classical Modal Logic, Uppsala, 1971
52. Sendlewski, A., "Nelson algebras through Heyting ones," Studia Logica, vol. 49 (1990), pp. 105-126
53. Shafer, G., A Mathematical Theory of Evidence, Princeton, Princeton Univ. Press, 1976
54. Slupecki, J., G. Bryll and T. Prucnal, "Some remarks on three-valued logic of J. Lukasiewicz," Studia Logica, vol. 31 (1967), pp. 45-70
55. Tarski, A.,"A lattice-theoretical fixpoint theorem and its applications," Pacific Journal of Mathematics, vol. 5 ( 1955), pp. 285-309
56. Vakarelov, D., "Notes on the semantics of the three-valued logic of Lukasiewicz," Comptes Rendus de l'Academie bulgare des Sciences, vol. 25 (1972), pp. 1467-1469 (in Russian)
57. Vakarelov, D., "Notes on N-lattices and constructive logic with strong negation," Studia Logica, vol. 36 (1977), pp. 109-125
58. Vakarelov, D., "Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety," Studia Logica, vol. 48 (1989),pp.565-575
59. Veltman, F., "Data Semantics," pp. 43-63 in Truth, Interpretation and Information edited by J. Groenendijk, T. M. V. Janssen and M. Stokhof, Foris, Dordrecht, 1984
60. Visser, A., "Four-valued semantics and the liar," Journal of Philosophical Logic, vol. 13 (1984), pp. 181-212
61. Wojcicki, R. "Matrix approach in methodology of sentential calculi," Studia Logica, vol. 32 (1973), pp. 7-37
62. Vorob'ev, N. N., "Constructive propositional calculus with strong negation," Doklady Akademii Nauk SSSR, vol. 85 (1952), pp. 546-468 (in Russian)