GEODESIC
Revues
Séminaires
Livres
Congrès
Sources
Discussiones Mathematicae Graph Theory
Tome 48 (2019)
no. 1
Sommaire
A Modified Subformula Property for the Modal Logic S4.2
Takano, Mitio
Erratum to: Congruences and Ideals in a Distributive Lattice with Respect to a Derivation
Barzegar, Hasan
Functional Completeness in CPL via Correspondence Analysis
Leszczyńska-Jasion, Dorota
;
Petrukhin, Yaroslav
;
Shangin, Vasilyi
;
Jukiewicz, Marcin
Positive Implicative Soju Ideals in BCK-Algebras
Xin, Xiao Long
;
Borzooei, Rajab Ali
;
Jun, Young Bae
Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E
Typańska-Czajka, Lidia