Generalized truth values. A reply to Dubois

Logic Journal of the IGPL

Volumn 18, Issue 6, 2010, Pages 921-935

  Wansing, Heinrich ^a   Belnap, Nuel ^b  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF PITTSBURGH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

TRUTH VALUES;

EID: 77954520366     PISSN: 13670751     EISSN: 13689894     Source Type: Journal    
DOI: 10.1093/jigpal/jzp068     Document Type: Article

References (28)

1. A.R. Anderson and N.D. Belnap, Entailment: The Logic of Relevance and Necessity, Vol. I, Princeton University Press, Princeton, NJ, 1975.
2. A.R. Anderson, N.D. Belnap and J.M. Dunn, Entailment: The Logic of Relevance and Necessity, Vol. II, Princeton University Press, Princeton, NJ, 1992.
3. N.D. Belnap, How a computer should think, in: G. Ryle (ed.), Contemporary Aspects of Philosophy, Oriel Press, Stocksfield, 1977, 30-56.
4. N.D. Belnap, A useful four-valued logic, in: J.M. Dunn and G. Epstein (eds.), Modern Uses of Multiple-Valued Logic, Reidel, Dordrecht, 1977, 5-37.
5. N.D. Belnap and M. Perloff and M. Xu, Facing the future: Agents and their choices in our indeterminist world, Oxford University Press, Oxford, 2001.
6. G. Bruns, D.S. Dantas and M. Huth, A Simple and Expressive Semantic Framework for Policy Composition in Access Control, in: Proceedings FMSE'07, Fairfax, Virginia, 2007, 12-21.
7. M. Chechik, B. Devereux, S. Easterbrook and A. Garfinkel, Multi-Valued Symbolic Model-Checking, ACM Transactions on Software Engineering and Methodology 12 (2003), 371-408.
8. D. Dubois, On Ignorance and Contradiction Considered as Truth-values, Logic Journal of the IGPL, 16 (2008), 195-216.
9. J.M. Dunn, Intuitive semantics for first-degree entailment and 'coupled trees', Philosophical Studies 29 (1976), 149-168.
10. J.M. Dunn, Partiality and its dual, Studia Logica 66 (2000), 5-40.
11. S. Encheva and S. Tumin, Belnap's Logic in Sharing Protected Web Resources, in: B. Apolloni et al. (eds.), Proceedings KES 2007/WIRN 2007, Part II, LNAI 4693, Springer-Verlag, Berlin, 2007, 125-132.
12. S. Encheva and S. Tumin, Reducing Assessment Complexity of Stem-Responses with Belnap's Logic, in: M. Iskander (ed.), Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education, Springer-Verlag, Dordrecht, 2008, 548-553.
13. M. Fitting, Bilattices are nice things, in: T. Bolander, V. Hendricks, and S.A. Pedersen (eds.), Self-Reference, CSLI-Publications, Stanford, 2006, 53-77.
14. J. Fox, Motivation and Demotivation of a Four-Valued Logic, Notre Dame Journal of Formal Logic 31 (1990), 76-80.
15. N. Kamide and H. Wansing, Sequent calculi for some trilattice logics, Review of Symbolic Logic 2 (2009), 374-395.
16. Y. Loyer, N. Spyratos and D. Stamate, Hypothesis-Based Semantics of Logic Programs in Multivalued Logics, ACM Transactions on Computational Logic 5 (2004), 508-527.
17. Y. Ma, Zuoquan Lin and Zhangang Lin, Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach, in: T. Grust et al. (eds.), Proceedings EDBT 2006 Workshops, LNCS 4254, Springer-Verlag, Berlin, 2006, 535-553.
18. Z. Majkić, A General Framework for Query Answering in Data Quality-based Cooperative Information Systems, in: Proceedings IQIS 2004, Paris, 2005, 44-50.
19. S.P. Odintsov, On axiomatizing Shramko-Wansing's logic, Studia Logica 93 (2009), 407-428.
20. A. Ponse and M.B. van der Zwaag, A Generalization of ACP Using Belnap's Logic, Electronic Notes in Theoretical Computer Science 162 (2006), 287-293.
21. R. Routley and V. Routley, Semantics of First Degree Entailment, Nous 6 (1972), 335-359.
22. Y. Shramko and H. Wansing, Some useful 16-valued logics: how a computer network should think, Journal of Philosophical Logic, 34 (2005), 121-153.
23. Y. Shramko and H. Wansing, Hypercontradictions, generalized truth values, and logics of truth and falsehood, Journal of Logic, Language and Information, 15 (2006), 403-424.
24. Y. Shramko and H. Wansing, Truth values, forthcoming in Ed Zalta (ed.), The Stanford Encyclopedia of Philosophy, 2009.
25. M. Vardi, On epistemic logic and logical omniscience, in: J.Y. Halpern (ed.), Theoretical Aspects of Reasoning about Knowledge. Proceedings of the 1986 Conference, Morgan Kaufmann Publishers, Los Altos, 293-305, 1986.
26. H. Wansing, The Logic of Information Structures, LNAI 681, Springer-Verlag, Berlin, 1993.
27. 3, 2009, to appear in: Journal of Philosophical Logic.
28. 4, Studia Logica 92 (2009), 265-280.