Advertisement

Studia Logica

, Volume 106, Issue 2, pp 345–370 | Cite as

Interpolation in 16-Valued Trilattice Logics

  • Reinhard Muskens
  • Stefan Wintein
Open Access
Article

Abstract

In a recent paper we have defined an analytic tableau calculus \({{\mathbf {\mathsf{{PL}}}}}_{\mathbf {16}}\) for a functionally complete extension of Shramko and Wansing’s logic based on the trilattice \({SIXTEEN}_3\). This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic—such as the relations Open image in new window , Open image in new window , and Open image in new window that each correspond to a lattice order in \({SIXTEEN}_3\); and Open image in new window , the intersection of Open image in new window and Open image in new window . It turns out that our method of characterising these semantic relations—as intersections of auxiliary relations that can be captured with the help of a single calculus—lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that Open image in new window , when restricted to \(\mathcal {L}_{tf}\), the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano.

Keywords

Interpolation 16-Valued logic Trilattice \({SIXTEEN}_3\) Multiple tree calculus 

References

  1. 1.
    Belnap, N. D., How a Computer Should Think, in G. Ryle, (ed.), Contemporary Aspects of Philosophy, Oriel Press, Stocksfield, 1976, pp. 30–56.Google Scholar
  2. 2.
    Belnap, N. D., A Useful Four-Valued logic, in J.M. Dunn, and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logic, Reidel, Dordrecht, 1977, pp. 8–37.Google Scholar
  3. 3.
    Dunn, J.M., Intuitive Semantics for First-Degree Entailments and ‘Coupled Trees’, Philosophical Studies 29:149–168, 1976.CrossRefGoogle Scholar
  4. 4.
    Muskens, R., and S. Wintein, Analytic Tableaux for all of SIXTEEN \(_3\), Journal of Philosophical Logic 44(5):473–487, 2015.CrossRefGoogle Scholar
  5. 5.
    Odintsov, S., On Axiomatizing Shramko-Wansing’s Logic, Studia Logica 91:407–428, 2009.CrossRefGoogle Scholar
  6. 6.
    Odintsov, S., and H. Wansing, The Logic of Generalized Truth Values and the Logic of Bilattices, Studia Logica 103(1):91–112, 2015. (Online first, 2014.)Google Scholar
  7. 7.
    Rivieccio, U., Representation of Interlaced Trilattices, Journal of Applied Logic 11:174–189, 2013.CrossRefGoogle Scholar
  8. 8.
    Shramko, Y., and H. Wansing, Some Useful 16-Valued Logics: How a Computer Network Should Think, Journal of Philosophical Logic 34:121–153, 2005.CrossRefGoogle Scholar
  9. 9.
    Shramko, Y., and H. Wansing, Truth and Falsehood: An Inquiry into Generalized Logical Values, vol. 36 of Trends in Logic, Springer, 2011.Google Scholar
  10. 10.
    Takano, M., Interpolation Theorem in Many-Valued Logics with Designated Values, Kodai Mathematical Journal 12(2):125–131, 1989.CrossRefGoogle Scholar
  11. 11.
    Takano, M., Gentzenization of Trilattice Logics, Studia Logica 104(5):917–929, 2016.Google Scholar
  12. 12.
    Wansing, H., A Non-Inferentialist, Anti-Realistic Conception of Logical Truth and Falsity, Topoi 31:93–100, 2012.CrossRefGoogle Scholar

Copyright information

© The Author(s) 2017

Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors and Affiliations

  1. 1.Tilburg Center for Logic, Ethics and Philosophy of Science (TiLPS)Tilburg UniversityTilburgThe Netherlands
  2. 2.Faculty of PhilosophyErasmus University RotterdamRotterdamThe Netherlands

Personalised recommendations