logic and completeness theorem
Vladimir Ristić (2006)
Kragujevac Journal of Mathematics
Similarity:
Displaying similar documents to “An extension of the probability logic ”
logic and completeness theorem
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 explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz.
Rimatskiĭ, V.V. (2009)
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:
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...
Inference rules with metavariables and logical equations in the pretabular modal logic PM1.
Kiyatkin, V.R. (2000)
Siberian Mathematical Journal
Similarity:
On canonical formulas for extensions of minimal logic.
Stukacheva, M.V. (2006)
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
Similarity:
Corcoran's Aristotelian syllogistic as a subsystem of first-order logic.
Andrade, Edgar J., Becerra, Edward (2007)
Revista Colombiana de Matemáticas
Similarity:
Absence of the interpolation property in the calculi and .
Murzina, V.F. (2008)
Sibirskij Matematicheskij Zhurnal
Similarity: