Skip to main content
Log in

Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper we present two types of logics (denoted \({L^{D}_{Q_{p}}}\) and \({L^{\rm thinking}_{Z_{p}}}\)) where certain p-adic functions are associated to propositional formulas. Logics of the former type are p-adic valued probability logics. In each of these logics we use probability formulas K r,ρ α and D ρ α,β which enable us to make sentences of the form “the probability of α belongs to the p-adic ball with the center r and the radius ρ”, and “the p-adic distance between the probabilities of α and β is less than or equal to ρ”, respectively. Logics of the later type formalize processes of thinking where information are coded by p-adic numbers. We use the same operators as above, but in this formalism K r,ρ α means “the p-adic code of the information α belongs to the p-adic ball with the center r and the radius ρ”, while D ρ α,β means “the p-adic distance between codes of α and β are less than or equal to ρ”. The corresponding strongly complete axiom systems are presented and decidability of the satisfiability problem for each logic is proved.

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

Access this article

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. Albeverio, S., and A.Yu. Khrennikov, Representation of the Weyl group in spaces of square integrable functions with respect to p-adic valued Gaussian distributions, Journal of Physics A 29:5515–5527, 1996.

    Google Scholar 

  2. Albeverio, S., R. Cianci, and A.Yu. Khrennikov, A representation of quantum field Hamiltonians in a p-adic Hilbert space, Theoretical and Mathematical Physics 112(3):355–374, 1997.

    Google Scholar 

  3. Albeverio S., Khrennikov A.Yu., Kloeden P.E.: Memory retrieval as p-adic dynamical system. BioSystems 49, 105–115 (1999)

    Article  Google Scholar 

  4. Aref’eva, Ya. I., B. Dragivch, P. H. Frampton, and I. V. Volovich, The vave function of the Universe and p-adic gravity, International Journal of Modern Physics A 6(24):4341–4358, 1991.

    Google Scholar 

  5. Bachman, G., Introduction to p-adic Numbers and Valuation Theory, Polytechnic institute of Brooklyn, Mathematics Department, Brooklyn, New-York.

  6. Baker, A. J., An Introduction to p-adic Numbers and p-adic Analysis, Department of Mathematics, University of Glasgow, Glasgow, Scotland.

  7. De Grande-De Kimpe, N., and A.Yu. Khrennikov, Non-Archimedean Laplace transform, The Bulletin of the Belgian Mathematical Society 3:225–237, 1996.

  8. Fagin, R., J. Halpern, and N. Megiddo, A logic for reasoning about probabilities, Information and Computation 87(1–2):78–128, 1990.

    Google Scholar 

  9. Gouvea, F. Q., p-adic Numbers: An Introduction, 2nd ed., Springer, ISBN 3-540-62911-4, 2000.

  10. Ilić Stepić, A., A logic for reasoning about qualitative probability, Publications de l’institute mathematique, Nouvelle Série, tome, vol. 87, 2010, pp. 97–108.

  11. Ilić Stepić, A., Z. Ognjanović, N. Ikodinović, and A. Perović, A p-adic probability logic, Mathematical Logic Quarterly 58(4–5):263–280, 2012.

  12. Keynes, J. M., Treatise on Probability, MacMillan and Co., London, 1921.

  13. Khrennikov A.: Human subconscious as a p-adic dynamical system. Journal of Theoretical Biology 193, 179–196 (1998)

    Article  Google Scholar 

  14. Khrennikov A.: theory of p-adic valued probabilities, Studies in Logic. Grammar and Rhetoric 14(27), 35–71 (2008)

    Google Scholar 

  15. Khrennikov A.: theory of p-adic valued probabilities, Studies in Logic. Grammar and Rhetoric 14(27), 137–154 (2008)

    Google Scholar 

  16. Khrennikov A.Yu.: Mathematical methods of the Non-Archimedean physics. Uspekhi Matematicheskikh Nauk 45(4), 79–110 (1990)

    Google Scholar 

  17. Khrennikov, A.Yu., p-adic Valued Distributions in Mathematical Physics, Kluwer Academic Publishers, Dordrecht, 1994.

  18. Khrennikov A.Yu.: p-adic probability interpretation of Bell’s inequality. Physics Letters A 200(3–4), 219–223 (1995)

    Article  Google Scholar 

  19. Khrennikov, A.Yu., Non-Archimedean Analysis: Quantum Paradoxes, Dynamical Systems and Biological Models, Kluwer Acad. Publ., Dordrecht, The Netherlands, 1997.

  20. Khrennikov A.Yu.: p-adic discrete dynamical systems and collective behaviour of information states in cognitive models. Discrete Dynamics in Nature and Society 5, 59–69 (2000)

    Article  Google Scholar 

  21. Khrennikov, A.Yu., Interpretations of Probability, Walter de Gruyter, Berlin, Germany, 2008.

  22. Koblitz, N., p-adic Numbers, p-adic Analysis and Zeta-Functions, Springer-Verlag, New York, Berlin, Heidelberg, Tokyo.

  23. Koc, C. K., A Tutorial on p-adic Arithmetic, Electrical and Computer Engineering, Oregon State University, Corvallis, Oregon 97331.

  24. Marković, Z., Z. Ognjanović, and M. Rašković, A probabilistic extension of intuitionistic logic, Mathematical Logic Quarterly 49(4):415–424, 2003.

    Google Scholar 

  25. Nilsson N.: Probabilistic logic. Artificial Intelligence 28, 71–87 (1986)

    Article  Google Scholar 

  26. Ognjanović, Z., and N. Ikodinović, A logic with higher order conditional probabilities, Publications de l’institute Mathematique, Nouvelle série, tome, vol. 82, 2007, pp. 141–154.

  27. Ognjanović Z., Rašković M.: Some probability logic with new types of probability operators. Journal of Logic Computation 9(2), 181–195 (1999)

    Article  Google Scholar 

  28. Ognjanović Z., Rašković M.: Some first-order probability logics. Theoretical Computer Science 247, 191–212 (2000)

    Article  Google Scholar 

  29. Ognjanović Z., Perović A., Rašković M.: Logic with the qualitative probability operator. Logic Journal of IGPL 16(2), 105–120 (2008)

    Article  Google Scholar 

  30. Ognjanović, Z., M. Rašković, and Z. Marković, Probability logics, Zbornik Radova, Subseries Logic in Computer Science 12(20):35–111, 2009.

  31. Rašković, M., Z. Marković, and Z.Ognjanović, A logic with approximate conditional probabilities that can model default reasoning, International Journal of Approximate Reasoning 49:52–66, 2008.

  32. Robert, A. M., A Course in p-adic Analysis, Springer, New York, ISBN 0-387-98669-3, 2000.

  33. Vladimirov V.S., Volovich I.V., Zelenov E.I.: The spectral theory in the p-adic quantum mechanics. Izvestiya Akademii Nauk SSSR, Seriya Khimicheskaya 54(2), 275–302 (1990)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Angelina Ilić Stepić.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ilić Stepić, A., Ognjanović, Z. Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers. Stud Logica 103, 145–174 (2015). https://doi.org/10.1007/s11225-014-9552-5

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-014-9552-5

Keywords

Navigation