Publications in Math-Net.Ru
-
Canonical formulas for a paraconsistent analog of the Scott logic
Algebra Logika, 48:4 (2009), 495–519
-
On models of paraconsistent logic with Kreisel–Putnam's and Scott's axioms
Sib. Èlektron. Mat. Izv., 5 (2008), 407–416
-
On canonical formulas for the extensions of minimal logic
Sib. Èlektron. Mat. Izv., 3 (2006), 312–334
-
Some remarks about constructive extensions of minimal logic
Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 5:3 (2005), 75–88
-
The Disjunction Property in the Class of Paraconsistent Extensions of Minimal Logic
Algebra Logika, 43:2 (2004), 235–252
© , 2024