Switch to: References

Add citations

You must login to add citations.
  1. Probability Logics for Reasoning About Quantum Observations.Angelina Ilić Stepić, Zoran Ognjanović & Aleksandar Perović - 2023 - Logica Universalis 17 (2):175-219.
    In this paper we present two families of probability logics (denoted _QLP_ and \(QLP^{ORT}\) ) suitable for reasoning about quantum observations. Assume that \(\alpha \) means “O = a”. The notion of measuring of an observable _O_ can be expressed using formulas of the form \(\square \lozenge \alpha \) which intuitively means “if we measure _O_ we obtain \(\alpha \) ”. In that way, instead of non-distributive structures (i.e., non-distributive lattices), it is possible to relay on classical logic extended with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • p-Adic valued logical calculi in simulations of the slime mould behaviour.Andrew Schumann - 2015 - Journal of Applied Non-Classical Logics 25 (2):125-139.
    In this paper we consider possibilities for applying p-adic valued logic BL to the task of designing an unconventional computer based on the medium of slime mould, the giant amoebozoa that looks for attractants and reaches them by means of propagating complex networks. If it is assumed that at any time step t of propagation the slime mould can discover and reach not more than attractants, then this behaviour can be coded in terms of p-adic numbers. As a result, this (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Completeness theorems for σ–additive probabilistic semantics.Nebojša Ikodinović, Zoran Ognjanović, Aleksandar Perović & Miodrag Rašković - 2020 - Annals of Pure and Applied Logic 171 (4):102755.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers.Angelina Ilić Stepić & Zoran Ognjanović - 2015 - Studia Logica 103 (1):145-174.
    In this paper we present two types of logics and \ ) 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations