×

Bilattices and the theory of truth. (English) Zbl 0678.03028

A structure \(<B,\wedge,\vee,+,\times >\) is a bilattice if i) \(<B,\wedge,\vee >\) and \(<B,+,\times >\) are both lattices; and ii) the meet and join operations of each lattice are monotone with respect to the order relation of the other lattice. Bilattices were introduced in computer science by M. L. Ginsberg [Multi-valued logics, Proc. AAAI-86, Morgan Kaufmann, 243-247 (1986)]. This paper shows that bilattices are natural generalisations of structures to be found in the semantics of First Degree Entailment (due to Dunn and Belnap), in the semantics of languages with a partial truth predicate (due to Woodruff, Kripke et al.) and elsewhere. This allows many known features of these semantics to be seen as special cases of more general theorems, and also delivers some novel results, e.g., concerning the relationships between various fixed points.
Reviewer: G.Priest

MSC:

03G10 Logical aspects of lattices and related structures
03B60 Other nonclassical logic
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] J.Barwise, Admissible Sets and Structures, Springer-Verlag, Berlin (1975). · Zbl 0316.02047
[2] N. D. Belnap, Jr. A useful four-valued logic, in Modern Uses of Multiple-Valued Logic, J. Michael Dunn and G. Epstein, eds, pp. 8-37, D. Reidel (1977).
[3] J. M.Dunn, Intuitive semantics for first-degree entailments and ?coupled trees?, Philosophical Studies, vol. 29, pp. 149-168 (1976). · Zbl 1435.03043 · doi:10.1007/BF00373152
[4] M. C. Fitting, A Kripke/Kleene semantics for logic programs, Journal of Logic Programming, pp. 295-312 (1985). · Zbl 0589.68011
[5] M. C.Fitting, Notes on the mathematical aspects of Kripke’s Theory of Truth, Notre Dame Journal of Formal Logic, vol. 27, pp. 75-88 (1986). · Zbl 0588.03003 · doi:10.1305/ndjfl/1093636525
[6] M. C.Fitting, Logic programming on a topological bilattice. Fundamenta Informatica, vol. 11, pp. 209-218 (1988). · Zbl 0647.68096
[7] M. C. Fitting, Bilattices and the semantics of logic programming, Journal of Logic Programming (to appear). · Zbl 0757.68028
[8] M. L. Ginsberg, Multi-valued logics, Proc. AAAI-86, Fifth National Conference on Artificial Intelligence, pp. 243-247, Morgan Kaufmann Publishers (1986).
[9] M. L. Ginsberg, Multivalued logics: A uniform approach to inference in artificial intelligence, Computational Intelligence, Vol. 4, no. 3.
[10] S. C. Kleene, Introduction to Metamathematics, Van Nostrand (1950). · Zbl 0047.00703
[11] S.Kripke, Semantical analysis of modal logic I, normal propositional calculi, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Vol. 9, pp. 67-96 (1963). · Zbl 0118.01305 · doi:10.1002/malq.19630090502
[12] S. Kripke, Semantical considerations on modal logics, Acta Philosophica Fennica, Modal and Many-Valued Logics, pp. 83-94 (1963). · Zbl 0131.00602
[13] S. Kripke, Outline of a theory of truth, The Journal of Philosophy, vol. 72, pp. 690-716 (1975); reprinted in New Essays on Truth and The Liar Paradox, R. L. Martin, ed., Oxford (1983). · Zbl 0952.03513
[14] R. L.Martin and P. W.Woodruff, On representing ?true-in-L? in L, Philosophia (Israel), vol. 5, pp. 213-217 (1975). · doi:10.1007/BF02379018
[15] B. K.Matilal, Logic, Language and Reality, Motilal Banardsidass, Delhi, 1985.
[16] A.Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol. 5, pp. 285-309 (1955). · Zbl 0064.26004
[17] A.Visser, Four valued semantics and the liar, Journal of Philosophical Logic, vol. 13, pp. 181-212 (1984). · Zbl 0546.03007 · doi:10.1007/BF00453021
[18] P. W.Woodruff, Paradox, truth and logic, part I: Paradox and truth, Journal of Philosophical Logic, vol. 13, pp. 213-232 (1984). · Zbl 0546.03006 · doi:10.1007/BF00453022
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.