S. Babenyshev
AuthID: R-006-DM2
1
TITLE: Behavioral equivalence of hidden k-logics: An abstract algebraic approach Full Text
AUTHORS: Sergey Babenyshev; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: JOURNAL OF APPLIED LOGIC, VOLUME: 16
AUTHORS: Sergey Babenyshev; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: JOURNAL OF APPLIED LOGIC, VOLUME: 16
2
TITLE: Deduction-detachment theorem in hidden k-logics
AUTHORS: Sergey Babenyshev; Manuel A Martins ;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 1
AUTHORS: Sergey Babenyshev; Manuel A Martins ;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 1
3
TITLE: Admissible equivalence systems
AUTHORS: Babenyshev, S; Martins, MA ;
PUBLISHED: 2010, SOURCE: Bulletin of the Section of Logic, VOLUME: 39, ISSUE: 1-2
AUTHORS: Babenyshev, S; Martins, MA ;
PUBLISHED: 2010, SOURCE: Bulletin of the Section of Logic, VOLUME: 39, ISSUE: 1-2
INDEXED IN: 
Scopus
Scopus