RUS  ENG
Full version
JOURNALS // Algebra i logika

Algebra Logika, 2009, Volume 48, Number 3, Pages 400–414 (Mi al405)

Table admissible inference rules
V. V. Rimatskii

This publication is cited in the following articles:
  1. V. V. Rimatskii, “Globalno dopustimye pravila vyvoda”, Izvestiya Irkutskogo gosudarstvennogo universiteta. Seriya Matematika, 42 (2022), 138–160  mathnet  crossref  mathscinet
  2. V. V. Rimatskii, V. R. Kiyatkin, “Nezavisimyi bazis dopustimykh pravil vyvoda predtablichnykh logik i ikh rasshirenii”, Sib. elektron. matem. izv., 10 (2013), 79–89  mathnet


© Steklov Math. Inst. of RAS, 2026