$L_{ACP}^k>$ logic and completeness theorem

Vladimir Ristić

Displaying similar documents to “ $L_{A C P}^{k} >$ logic and completeness theorem”

An extension of the probability logic $L P P_{2}$

Tatjana Stojanović, Ana Kaplarević-Mališić, Zoran Ognjanović (2010)

Kragujevac Journal of Mathematics

Similarity:

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:

$L_{P}^{rat}$ logic and Completeness Theorem

Vladimir Ristić (2009)

Kragujevac Journal of Mathematics

Similarity:

Binarity for $ℵ_{0}$ -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:

Displaying similar documents to “ L A C P k > logic and completeness theorem”

Displaying similar documents to “ $L_{A C P}^{k} >$ logic and completeness theorem”