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.
Similar content being viewed by others
References
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.
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.
Albeverio S., Khrennikov A.Yu., Kloeden P.E.: Memory retrieval as p-adic dynamical system. BioSystems 49, 105–115 (1999)
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.
Bachman, G., Introduction to p-adic Numbers and Valuation Theory, Polytechnic institute of Brooklyn, Mathematics Department, Brooklyn, New-York.
Baker, A. J., An Introduction to p-adic Numbers and p-adic Analysis, Department of Mathematics, University of Glasgow, Glasgow, Scotland.
De Grande-De Kimpe, N., and A.Yu. Khrennikov, Non-Archimedean Laplace transform, The Bulletin of the Belgian Mathematical Society 3:225–237, 1996.
Fagin, R., J. Halpern, and N. Megiddo, A logic for reasoning about probabilities, Information and Computation 87(1–2):78–128, 1990.
Gouvea, F. Q., p-adic Numbers: An Introduction, 2nd ed., Springer, ISBN 3-540-62911-4, 2000.
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.
Ilić Stepić, A., Z. Ognjanović, N. Ikodinović, and A. Perović, A p-adic probability logic, Mathematical Logic Quarterly 58(4–5):263–280, 2012.
Keynes, J. M., Treatise on Probability, MacMillan and Co., London, 1921.
Khrennikov A.: Human subconscious as a p-adic dynamical system. Journal of Theoretical Biology 193, 179–196 (1998)
Khrennikov A.: theory of p-adic valued probabilities, Studies in Logic. Grammar and Rhetoric 14(27), 35–71 (2008)
Khrennikov A.: theory of p-adic valued probabilities, Studies in Logic. Grammar and Rhetoric 14(27), 137–154 (2008)
Khrennikov A.Yu.: Mathematical methods of the Non-Archimedean physics. Uspekhi Matematicheskikh Nauk 45(4), 79–110 (1990)
Khrennikov, A.Yu., p-adic Valued Distributions in Mathematical Physics, Kluwer Academic Publishers, Dordrecht, 1994.
Khrennikov A.Yu.: p-adic probability interpretation of Bell’s inequality. Physics Letters A 200(3–4), 219–223 (1995)
Khrennikov, A.Yu., Non-Archimedean Analysis: Quantum Paradoxes, Dynamical Systems and Biological Models, Kluwer Acad. Publ., Dordrecht, The Netherlands, 1997.
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)
Khrennikov, A.Yu., Interpretations of Probability, Walter de Gruyter, Berlin, Germany, 2008.
Koblitz, N., p-adic Numbers, p-adic Analysis and Zeta-Functions, Springer-Verlag, New York, Berlin, Heidelberg, Tokyo.
Koc, C. K., A Tutorial on p-adic Arithmetic, Electrical and Computer Engineering, Oregon State University, Corvallis, Oregon 97331.
Marković, Z., Z. Ognjanović, and M. Rašković, A probabilistic extension of intuitionistic logic, Mathematical Logic Quarterly 49(4):415–424, 2003.
Nilsson N.: Probabilistic logic. Artificial Intelligence 28, 71–87 (1986)
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.
Ognjanović Z., Rašković M.: Some probability logic with new types of probability operators. Journal of Logic Computation 9(2), 181–195 (1999)
Ognjanović Z., Rašković M.: Some first-order probability logics. Theoretical Computer Science 247, 191–212 (2000)
Ognjanović Z., Perović A., Rašković M.: Logic with the qualitative probability operator. Logic Journal of IGPL 16(2), 105–120 (2008)
Ognjanović, Z., M. Rašković, and Z. Marković, Probability logics, Zbornik Radova, Subseries Logic in Computer Science 12(20):35–111, 2009.
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.
Robert, A. M., A Course in p-adic Analysis, Springer, New York, ISBN 0-387-98669-3, 2000.
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)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
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
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-014-9552-5