On Three-Valued Dependence-Like Logics
DOI:
https://doi.org/10.12775/LLP.2026.016Słowa kluczowe
dependence logic, relating logic, three-valued logic, proof theory, bisequent calculi, cut admissibilityAbstrakt
In this paper, we investigate connections between dependence logics, viewed as a subclass of relating logics, and three-valued logics. More specifically, we identify common features of Epstein’s subject-matter semantics and the variable-inclusion conditions characteristic of some infectious many-valued logics. Inspired by Del Cerro and Lugardon’s sequent calculi for dependence logics, in which classical connectives are combined with connectives satisfying Epstein-style conditions, we introduce two three-valued dependence-like logics that combine classical conjunction and disjunction with infectious negation and implication. We also provide sound, complete, and cut-free bisequent calculi for these logics.
Bibliografia
Asenjo, F. G. (1966). “A calculus of antinomies”. Notre Dame Journal of Formal Logic 7: 103–105. DOI: CrossRef
Bochvar, D. A. (1981). “On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus”. History and Philosophy of Logic 2: 87–112. English translation of Bochvar’s paper of 1938. DOI: 1CrossRef
Ciuni, R., and M. Carrara (2016). “Characterizing logical consequence in paraconsistent weak Kleene”. In New Developments in Logic and the Philosophy of Science, edited by L. Felline, A. Ledda, F. Paoli, and E. Rossanese, 165–176. London: College Publications.
Ciuni, R., T. M. Ferguson, and D. Szmuc (2019). “Logics based on linear orders of contaminating values”. Journal of Logic and Computation 29(5): 631–663. DOI: CrossRef
Del Cerro, L. F., and V. Lugardon (1991). “Sequents for dependence logics”. Logique & Analyse 133/134: 57–71.
Demolombe, R. (1999). “Multivalued logics and topics”. In Proceedings of the IJCAI Workshop on Practical Reasoning and Rationality. Stockholm.
Dunn, J.M. (1972). “A modification of Parry’s analytic implication”. Notre Dame Journal of Formal Logic 13(2): 195–205. DOI: CrossRef
Epstein, R. (1987). “The algebras of dependence logics”. Reports on Mathematical Logic 21: 19–34.
Epstein, R.L. (1990). The semantic foundations of logic. In The Semantic Foundations of Logic. Vol. 1: Propositional Logics. 315–321. Springer.
Ferguson, T.M. (2014). “A computational interpretation of conceptivism”. Journal of Applied Non-Classical Logics 24(4): 333–367. DOI: CrossRef
Halldén, S. (1949). The Logic of Nonsense. Uppsala: Lundequista Bokhandeln.
Indrzejczak, A., and Y. Petrukhin (2023). “A uniform formalisation of three-valued logics in bisequent calculus”. Pages 325–343 in Automated Deduction—CADE 29, edited by B. Pientka and C. Tinelli. Springer. DOI: CrossRef
Indrzejczak, A., and Y. Petrukhin (2024). “Uniform cut-free bisequent calculi for three-valued logics”. Logic and Logical Philosophy 33(3): 463–506. DOI: CrossRef
Jarmużek, T. (2020). “Relating semantics as fine-grained semantics for intensional propositional logics”. In Logic in High Definition: Trends in Logical Semantics, edited by A. Giordani and J. Malinowski. Springer. DOI: CrossRef
Kleene, S. C. (1938). “On a notation for ordinal numbers”. The Journal of Symbolic Logic 3: 150–155. DOI: CrossRef
Ledda, A., F. Paoli, and M.P. Baldi (2019). “Algebraic analysis of demodalised analytic implication”. Journal of Philosophical Logic 48: 957–979. DOI: CrossRef
Martin, J.M. (1975). “A syntactic characterization of Kleene’s strong connectives with two designated values”. Mathematical Logic Quarterly 21(1): 181–184. DOI: CrossRef
Mares, E. (2020) “Relevance logic”. Stanford Encyclopedia of Philosophy. Accessed 18.07.2026; available at: Link
[19] Parry, W. T. (1968). “The logic of C.I. Lewis”. Pages 115–154 in The Philosophy of C.I. Lewis. La Salle, IL: Open Court.
Pra Baldi, M. (2018). “An algebraic study of logics of variable inclusion and analytic containment”. PhD dissertation, University of Padua.
Priest, G. (2002). “Paraconsistent logic”. In D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 6, 2nd ed. Dordrecht: Kluwer. DOI: CrossRef
Priest, G. (1979). “The logic of paradox”. Journal of Philosophical Logic 8: 219–241. DOI: CrossRef
Rosser, J.B., and A.R. Turquette (1952). Many-Valued Logics. Amsterdam: North-Holland.
Sette, A.M., and W.A. Carnielli (1995). “Maximal weakly-intuitionistic logics”. Studia Logica 55(1): 181–203. DOI: CrossRef
Pobrania
Opublikowane
Jak cytować
Numer
Dział
Licencja
Prawa autorskie (c) 2026 Yaroslav Petrukhin
Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa – Bez utworów zależnych 4.0 Międzynarodowe.
Statystyki
Liczba wyświetleń i pobrań: 27
Liczba cytowań: 0
