Geodesic
On canonical formulas for the extensions of minimal logic
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 3 (2006), pp. 312-334 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

We introduce a canonical formulas for the extensions of minimal logic. 
@article{SEMR_2006_3_a21,
     author = {M. V. Stukacheva},
     title = {On canonical formulas for the extensions of minimal logic},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {312--334},
     year = {2006},
     volume = {3},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2006_3_a21/}
}
TY  - JOUR
AU  - M. V. Stukacheva
TI  - On canonical formulas for the extensions of minimal logic
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2006
SP  - 312
EP  - 334
VL  - 3
UR  - http://geodesic.mathdoc.fr/item/SEMR_2006_3_a21/
LA  - ru
ID  - SEMR_2006_3_a21
ER  - 
%0 Journal Article
%A M. V. Stukacheva
%T On canonical formulas for the extensions of minimal logic
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2006
%P 312-334
%V 3
%U http://geodesic.mathdoc.fr/item/SEMR_2006_3_a21/
%G ru
%F SEMR_2006_3_a21
M. V. Stukacheva. On canonical formulas for the extensions of minimal logic. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 3 (2006), pp. 312-334. http://geodesic.mathdoc.fr/item/SEMR_2006_3_a21/

[1] S. Odintsov, “On the structure of paraconsistent extensions of Johansson's logic”, Journal of Applied Logic, 3 (2005), 43–65 | DOI | MR | Zbl

[2] S. Odintsov, “Representation of $j$-algebras and Segerberg's logics”, Logique at Analyse, 165–166 (1999), 81–106 | MR | Zbl

[3] M. Zakharyashchev, “Syntax and semantics of modal logics containing $S_4$”, Algebra and Logic, 27 (1988), 659–689 (in Russian) | MR

[4] M. Zakharyashchev, “Syntax and semantics of intermediate logics”, Algebra and Logic, 28 (1989), 402–429 (in Russian) | MR

[5] H. Rasiowa, An algebraic approach to non-classical logics, North-Holland, Amsterdam, 1974 | MR | Zbl

[6] K. Segerberg, “Propositional Logics Related to Heyting's and Johansson's”, Theoria, 34 (1968), 26–61 | DOI | MR

[7] E. Raseva, R. Sikorskii, Matematika metamatematiki, Nauka, Moskva, 1974