Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness

Notre Dame Journal of Formal Logic

Volumn 39, Issue 1, 1998, Pages 47-73

  Bochman, Alexander ^a  

^a HOLON INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0041905615     PISSN: 00294527     EISSN: 19390726     Source Type: Journal    
DOI: 10.1305/ndjfl/1039293020     Document Type: Article

References (24)

1. Arieli, O., and A. Avron, “Reasoning with logical bilattices,” Journal of Logic, Lan-guage, and Information, vol. 5 (1996), pp. 25-63.
2. Avron, A., “Natural 3-valued logics: Characterization and proof theory,” The Journal of Symbolic Logic, vol. 56, (1991), pp. 276-94.
3. Belnap, N. D., “A useful four-valued logic,” pp. 8-41 in Modern Uses of Multiple-Valued Logic, edited by M. Dunn and G. Epstein, D. Reidel, Dordrecht, 1977.
4. Blamey, S., “Partial logic,” pp. 1-70 in Handbook of Philosophical Logic, vol. 3, edited by D. M. Gabbay and F. Guenthner, D. Reidel, Dordrecht, 1986.
5. Bochman, A., Mereological semantics, Ph.D. thesis, Tel-Aviv University, Tel-Aviv, 1992.
6. Bochman, A., “Biconsequence relations for nonmonotonic reasoning,” pp. 482-92 in Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, edited by L. C. Aiello, J. Doyle, and S. C. Shapiro, M. Kaufmann, San Mateo, 1996.
7. Bochman, A., “On a logical basis of general logic programs,” pp 37-56 in Proceedings of the Sixth International Workshop on Nonmonotonic Extensions of Logic Programming, “Lecture Notes in Artificial Intelligence,” edited by J. G. Carbonell, J. Siekmann, Springer-Verlag, Berlin, 1996.
8. Bochman, A., “A logical foundation for logic programming, I and II,” The Journal of Logic Programming, vol. 35, (1998), pp. 151-94.
9. Carnielli, W. A., “On sequents and tableaux for many-valued logics,” Journal of Applied Non-Classical Logics, vol. 8 (1991), pp. 59-76.
10. Dunn, J. M., “Intuitive semantics for first-degree entailment and coupled trees,” Philo-sophical Studies, vol. 29, (1976), pp. 149-68.
11. Fitting, M. C., “Bilattices and the theory of truth,” The Journal of Philosophical Logic, vol. 18, (1989), pp. 225-56.
12. Fitting, M. C., “Bilattices and the semantics of logic programming,” The Journal of Logic Programming, vol. 11, (1991), pp. 91-116.
13. Fitting, M. C., “Kleene’s three-valued logics and their children,” Fundamenta Informat-icae, vol. 20, (1994), pp. 113-31.
14. Gabbay, D. M., Semantical Investigations in Heyting’s Intuitionistic Logic, D. Reidel, Dordrecht, 1981.
15. Ginsberg, M. L., “Multivalued logics: A uniform approach to reasoning in AI,” Com-putational Intelligence, vol. 4, (1988), pp. 256-316. 7.
16. Jaspars, J. O. M., “Partial up and down logic,” Notre Dame Journal of Formal Logic, vol. 36, (1995), pp. 134-57.
17. Rasiowa, H., An Algebraic Approach to Non-Classical Logics, North-Holland, Amster-dam, 1974.
18. Rousseau, G., “Sequents in many-valued logics I,” Fundamenta Mathematicae, vol. 60, (1967), pp. 23-33.
19. Schröter, K., “Methoden zur axiomatisierung beliebiger aussagenund pradikatenkalkule,” Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1, (1955), pp. 241-51.
20. Scott, D., “Advice on modal logic,” pp. 152-88 in Philosophical Problems in Logic. Some Recent Developments, edited by K. Lambert, D. Reidel, Dordrecht, 1970.
21. Segerberg, K., Classical Propositional Operators, Clarendon Press, Oxford, 1982.
22. Takahashi, M., “Many-valued logics of extended Gentzen style II,” The Journal of Symbolic Logic, vol. 35, (1970), pp. 493-528.
23. van Benthem, J., A Manual of Intensional Logic, 2d ed., CSLI, Stanford, 1988.
24. Zach, R., Proof theory of finite-valued logics., Ph.D. thesis, Technishe Universität Wien, Vienna, 1993.