An extension of the probability logic
Tatjana Stojanović, Ana Kaplarević-Mališić, Zoran Ognjanović (2010)
Kragujevac Journal of Mathematics
Similarity:
Displaying similar documents to “ logic and completeness theorem”
An extension of the probability logic
Preservation of admissibility of inference rules in the logics similar to S4. 2.
Rybakov, V.V., Rimatskij, V.V. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
An inheritance criterion for the admissible inference rules of K4.
Rutskij, A.N., Fedorishin, B.R. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
On the Beth property in extension of Lukasiewicz logics.
Tishkovskij, D.E. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains.
Shrejner, P.A. (2000)
Siberian Mathematical Journal
Similarity:
An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz.
Rimatskiĭ, V.V. (2009)
Sibirskij Matematicheskij Zhurnal
Similarity:
logic and Completeness Theorem
Vladimir Ristić (2009)
Kragujevac Journal of Mathematics
Similarity:
Binarity for -categorial weakly o-minimal theories of convexity rank 1.
Kulpeshov, B.Sh. (2006)
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
Similarity:
Degradation in probability logic: When more information leads to less precise conclusions
Christian Wallmann, Gernot D. Kleiter (2014)
Kybernetika
Similarity:
Probability logic studies the properties resulting from the probabilistic interpretation of logical argument forms. Typical examples are probabilistic Modus Ponens and Modus Tollens. Argument forms with two premises usually lead from precise probabilities of the premises to imprecise or interval probabilities of the conclusion. In the contribution, we study generalized inference forms having three or more premises. Recently, Gilio has shown that these generalized forms “degrade” – more...
Reduced products of infinite forcing systems.
Grulović, Milan Z. (2002)
Novi Sad Journal of Mathematics
Similarity:
On the theory of grossone.
Gutman, A.E., Kutateladze, S.S. (2008)
Sibirskij Matematicheskij Zhurnal
Similarity:
On a problem of Steve Kalikow
Saharon Shelah (2000)
Fundamenta Mathematicae
Similarity:
The Kalikow problem for a pair (λ,κ) of cardinal numbers,λ > κ (in particular κ = 2) is whether we can map the family of ω-sequences from λ to the family of ω-sequences from κ in a very continuous manner. Namely, we demand that for η,ν ∈ ω we have: η, ν are almost equal if and only if their images are. We show consistency of the negative answer, e.g., for but we prove it for smaller cardinals. We indicate a close connection with the free subset property and its variants. ...