An explicit basis for the admissible inference rules in the Gödel-Löb logic GL.

Fedorishin, B.R.

The search session has expired. Please query the service again.

Displaying similar documents to “An explicit basis for the admissible inference rules in the Gödel-Löb logic GL.”

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:

On the Beth property in extension of Lukasiewicz logics.

Tishkovskij, D.E. (2002)

Sibirskij Matematicheskij Zhurnal

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 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:

Absence of the interpolation property in the calculi $L α$ and $L f$ .

Murzina, V.F. (2008)

Sibirskij Matematicheskij Zhurnal

Similarity:

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

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

Kragujevac Journal of Mathematics

Similarity:

Normal forms in partial modal logic

Jan Jaspars (1993)

Banach Center Publications

Similarity:

A "partial" generalization of Fine's definition [Fin] of normal forms in normal minimal modal logic is given. This means quick access to complete axiomatizations and decidability proofs for partial modal logic [Thi].

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...