Valuations: bi, tri, and tetra. (English) Zbl 1450.03002

This paper aims to present a systematic overview on valuational presentations of consequence relations, and the Galois connections between spaces of valuations and spaces of consequence relations. Galois connections between sets of valuations and sets of arguments are introduced and their associated closure operations. Sets of arguments and sets of valuations are characterized that are closed with regard to this closure operations. Finally the effects of adding connectives to the language are considered. A sound but partial complete sequent calculus is presented.
From the conclusion of the paper we quote: “Attending to the Galois connections between sets of arguments and sets of valuations has proved useful in a range of applications to logics that are reflexive, monotonic, and completely transitive, which can all be handled through the lens of bivaluations. In this paper, it is shown how to extend this toolkit to logics that might fail to be reflexive or completely transitive or both, by adding up to two more values to the valuations. Finally, the behaviour of connectives witnessing the bilattice structure of the resulting tetravaluations is considered.”


03B05 Classical propositional logic
03B22 Abstract deductive systems
03B50 Many-valued logic
06A15 Galois correspondences, closure operators (in relation to ordered sets)
Full Text: DOI


[1] Ardeshir, M., and W. Ruitenburg, Basic propositional calculus I. Mathematical Logic Quarterly 44(3):317-343, 1998. · Zbl 0912.03005
[2] Arieli, O., and A. Avron, Reasoning with logical bilattices. Journal of Logic, Language and Information 5(1):25-63, 1996. · Zbl 0851.03017
[3] Avron, A., Natural 3-valued logics—characterization and proof theory. The Journal of Symbolic Logic 56(1):276-294, 1991. · Zbl 0745.03017
[4] Avron, A., The structure of interlaced bilattices. Mathematical Structures in Computer Science 6(3):287-299, 1996. · Zbl 0856.06005
[5] Belnap, N. D., A useful four-valued logic, in Modern Uses of Multiple-Valued Logic, D. Reidel, Dordrecht, 1977, pp. 8-37.
[6] Białnycki-Birula, A., and H. Rasiowa, On the representation of quasi-Boolean algebras. Bulletin de l’Académie polonaise des sciences, Class III, 5:259-261, 1957. · Zbl 0082.01403
[7] Bimbó, K., and J. M. Dunn, Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi. Number 188 in CSLI Lecture Notes. CSLI Publications, 2008.
[8] Birkhoff, G., Lattice theory. American Mathematical Society, New York, 3rd edition, 1967. · Zbl 0126.03801
[9] Blamey, S., Partial logic, in D. M. Gabbay, and F. Guenthner, (eds.), Handbook of philosophical logic, volume 3, Springer, 1st edition, 1986, pp. 1-70.
[10] Blamey, S., Partial logic, in D.M. Gabbay, and F. Guenthner, (eds.), Handbook of philosophical logic, volume 5, Springer, 2nd edition, 2002, pp. 261-353.
[11] Blasio, C., J. Marcos, and H. Wansing, An Inferentially Many-Valued Two-Dimensional Notion of Entailment. Bulletin of the Section of Logic 46(3/4):233-262, 2017. · Zbl 1423.03068
[12] Bou, F., and U. Rivieccio, The logic of distributive bilattices. Logic Journal of the IGPL 19(1):183-216, 2011. · Zbl 1214.03056
[13] Caleiro, C., W. Carnielli, M. E. Coniglio, and J. Marcos, Two’s company: “The humbug of many logical values”, in J.-Y. Béziau, (ed.), Logica Universalis, Springer, 2007, pp. 175-194. · Zbl 1146.03300
[14] Chemla, E., P. Égré, and B. Spector, Characterizing logical consequence in many-valued logic. Journal of Logic and Computation 27:2193-2226, 2017. · Zbl 1386.03021
[15] Cobreros, P., Vagueness: Subvaluationism. Philosophy Compass 8(5):472-485, 2013.
[16] Davey, B. A., and H. A. Priestley, Introduction to Lattices and Order. Cambridge University Press, Cambridge, 2002.
[17] Dunn, J. M., Intuitive semantics for first-degree entailments and ‘coupled trees’. Philosophical Studies 29(3):149-168, 1976. · Zbl 1435.03043
[18] Dunn, J. M., Gaggle theory: An abstraction of Galois connections and residuation with applications to negations and various logical operators, in Logics in AI, Proceedings of European Workshop JELIA 1990, Berlin. LNCS, 1991, pp. 31-51. · Zbl 0814.03044
[19] Dunn, J. M., and G. M. Hardegree, Algebraic Methods in Philosophical Logic. Oxford University Press, Oxford, 2001.
[20] Erné, M., J. Koslowski, A. Melton, and G. Strecker, A primer on Galois connections. Annals of the New York Academy of Sciences 704(1):103-125, 1993. · Zbl 0809.06006
[21] Fitting, M., Bilattices and the theory of truth. Journal of Philosophical Logic 18(3):225-256, 1989. · Zbl 0678.03028
[22] Fitting, M., Bilattices and the semantics of logic programming. Journal of Logic Programming 11(2):91-116, 1991. · Zbl 0757.68028
[23] Frankowski, S., Plausible reasoning expressed by p-consequence. Bulletin of the Section of Logic 37(3-4):161-170, 2008. · Zbl 1286.03108
[24] Frankowski, S., On the lattice of p-consequences. Reports on Mathematical Logic 45:23-35, 2010. · Zbl 1244.03047
[25] French, R., Structural reflexivity and the paradoxes of self-reference. Ergo 3(5):113-131, 2016.
[26] French, R., and D. Ripley, Two Traditions. Manuscript, 2018.
[27] Ginsberg, M. L., Multivalued logics: A uniform approach to reasoning in artificial intelligence. Computational Intelligence 4(3):265-316, 1988.
[28] Girard, J., Proof Theory and Logical Complexity, volume I. Bibliopolis, Napoli, 1987. · Zbl 0635.03052
[29] Goldblatt, R., Semantic analysis of orthologic. Journal of Philosophical Logic 3:19-35, 1974. · Zbl 0278.02023
[30] Hardegree, G. M., Completeness and super-valuations. Journal of Philosophical Logic 34(1):81-95, 2005. · Zbl 1085.03008
[31] Hösli, B., and G. Jäger, About some symmetries of negation. Journal of Symbolic Logic 59(2):473-485, 1994. · Zbl 0811.03006
[32] Humberstone, L., Heterogeneous logic. Erkenntnis 29:395-435, 1988.
[33] Humberstone, L., Classes of valuations closed under operations Galois-dual to Boolean sentence connectives. Publications of the Research Institute for Mathematical Sciences 32(1):9-84, 1996. · Zbl 0873.03004
[34] Humberstone, L., The Connectives. MIT Press, Cambridge, Massachusetts, 2012.
[35] Humberstone, L., Sentence connectives in formal logic, in E. N. Zalta, (eds.), The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, winter 2016 edition, 2016.
[36] Loparić, A., and N. C. A. da Costa, Paraconsistency, paracompleteness, and valuations. Logique et Analyse 27(106):119-131, 1984. · Zbl 0549.03023
[37] Malinowski, G., Q-consequence operation. Reports on Mathematical Logic 24:49-59, 1990. · Zbl 0759.03008
[38] Malinowski, G., Inferential many-valuedness, in J. Woleński, (ed.), Philosophical logic in Poland, Springer, 1994, pp. 75-84.
[39] Muskens, R., Meaning and Partiality. CSLI Publications, 1995.
[40] Ore, O., Galois Connexions. Transactions of the American Mathematical Society 55:493-513, 1944. · Zbl 0060.06204
[41] Priest, G., An Introduction to Non-Classical Logic: From If to Is. Cambridge University Press, Cambridge, 2nd edition, 2008. · Zbl 1148.03002
[42] Rasiowa, H., An Algebraic Approach to Non-Classical Logics, volume 78 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1974. · Zbl 0299.02069
[43] Restall, G.; Gabbay, D. (ed.); Wansing, H. (ed.), Negation in relevant logics: How I stopped worrying and learned to love the Routley star, 53-76 (1999), Dordrecht, The Netherlands · Zbl 0974.03026
[44] Ripley, D., Paradoxes and failures of cut. Australasian Journal of Philosophy 91(1):139-164, 2013.
[45] Ripley, D., Revising up: Strengthening classical logic in the face of paradox. Philosophers’ Imprint 13(5):1-13, 2013.
[46] Ripley, D., Blurring: An approach to conflation. Notre Dame Journal of Formal Logic 59:171-188, 2018. · Zbl 1455.03037
[47] Ripley, D., On the ‘transitivity’ of consequence relations. Journal of Logic and Computation 28:433-450, 2018. · Zbl 1444.03010
[48] Scott, D.; Leblanc, H. (ed.), Background to formalization, 244-273 (1973), Amsterdam
[49] Scott, D., Completeness and axiomatizability in many-valued logic, in L. Henkin, (ed.), Proceedings of the Tarski Symposium, American Mathematical Society, Providence, Rhode Island, 1974, pp. 411-436. · Zbl 0318.02021
[50] Shoesmith, D. J., and T. J. Smiley, Multiple-conclusion Logic. Cambridge University Press, Cambridge, 1978. · Zbl 0381.03001
[51] Shramko, Y., and H. Wansing, Hyper-contradictions, generalized truth values, and logics of truth and falsehood. Journal of Logic, Language, and Information 15(4):403-424, 2006. · Zbl 1159.03302
[52] Shramko, Y., and H. Wansing, Entailment relations and/as truth values. Bulletin of the Section of Logic 36:131-143, 2007. · Zbl 1286.03088
[53] Shramko, Y., and H. Wansing, Truth and Falsehood: An Inquiry into Generalized Logical Values, volume 36 of Trends in Logic. Springer, 2011. · Zbl 1251.03002
[54] Suszko, R., The Fregean axiom and Polish mathematical logic in the 1920’s. Studia Logica 36(4):377-380, 1977. · Zbl 0404.03004
[55] Tsuji, M., Many-valued logics and Suszko’s Thesis revisited. Studia Logica 60(2):299-309, 1998. · Zbl 0963.03038
[56] Wansing, H., and Y. Shramko, Suszko’s Thesis, inferential many-valuedness, and the notion of a logical system. Studia Logica 88(3):405-429, 2008. · Zbl 1189.03026
[57] Wansing, H., and Y. Shramko, Erratum to ‘Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System Studia Logica, 88:405-429, 2008’. Studia Logica 89:147, 2008. · Zbl 1140.03309
[58] Wójcicki, R., Theory of logical calculi. Springer Science & Business Media, 1988. · Zbl 0682.03001
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.