Skip to main content
SpringerLink
Log in

Translating Non-classical Logics into Classical Logic by Using Hidden Variables

  • Published:
Logica Universalis Aims and scope Submit manuscript

Abstract

Dyadic semantics is a sort of non-truth-functional bivalued semantics introduced in Caleiro et al. (in: Béziau J-Y (ed) Logica Universalis, Birkhäuser, Basel, pp 169–189, 2005). Here we introduce an algorithmic procedure for constructing conservative translations of logics characterised by dyadic semantics into classical propositional logic. The procedure uses fresh propositional variables, which we call hidden variables, to represent the indeterminism of dyadic semantics. An alternative algorithmic procedure (not based on dyadic semantics) for constructing conservative translations of any finite-valued logic into classical logic is also introduced. In this alternative procedure hidden variables are also used, but in this case to represent the degree of true or falsehood of propositions.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Avron, A.: Non-deterministic semantics for logics with a consistency operator. Int. J. Approx. Reason. 45(2), 271–287 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  2. Caleiro, C., Carnielli, W., Coniglio, M.E., Marcos, J.: Two’s company: “the humbug of many logical values”. In: Béziau, J.-Y. (ed.) Logica Universalis, pp. 169–189. Birkhäuser Verlag, Basel, Switzerland (2005)

    Chapter  Google Scholar 

  3. Caleiro, C., Marcos, J.: Many-valuedness meets bivalence: Using logical values in an effective way. J. Mult. Valued Log. Soft Comput. 19(1–3), 51–70 (2012)

    MathSciNet  Google Scholar 

  4. Caleiro, C., Marcos, J., Volpe, M.: Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics. Theoret. Comput. Sci. 603, 84–110 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  5. Carnielli, W.: Polynomial ring calculus for many-valued logics. In: Werner, B. (ed.) Proceedings of the 35th International Symposium on Multiple-Valued Logic, pp. 20–25. IEEE Computer Society (2005)

  6. Carnielli, W., Coniglio, M.E., Marcos, J.: Logics of formal inconsistency. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 14, 2nd edn, pp. 15–107. Springer, Berlin (2007)

    Google Scholar 

  7. Carnielli, W.A., Coniglio, M.E., D’Ottaviano, I.M.L.: New dimensions on translations between logics. Log. Univers. 3, 1–18 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  8. Feitosa, H.A., D’Ottaviano, I.M.L.: Conservative translations. Ann. Pure Appl. Log. 108, 205–227 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  9. Genovese, M.: Research on hidden variable theories: a review of recent progresses. Phys. Rep. 413, 319–396 (2005)

    Article  MathSciNet  Google Scholar 

  10. Jeřábek, E.: The ubiquity of conservative translations. Rev. Symb. Log. 5(4), 666–678 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  11. Marcos, J.: What is a non-truth-functional logic? Stud. Log. 92, 215–240 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  12. Shramko, Y., Wansing, H.: Truth values. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, 2014th edn. Spring, Berlin (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, University of Antioquia, P.O. Box 1226, Medellin, Colombia

    Juan C. Agudelo-Agudelo

Authors
  1. Juan C. Agudelo-Agudelo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Juan C. Agudelo-Agudelo.

Additional information

This research was supported by the University of Antioquia, Medellin—Colombia.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Agudelo-Agudelo, J.C. Translating Non-classical Logics into Classical Logic by Using Hidden Variables. Log. Univers. 11, 205–224 (2017). https://doi.org/10.1007/s11787-017-0168-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-017-0168-1

Mathematics Subject Classification

Keywords

Search

Navigation