S. Babenyshev
AuthID: R-006-DM2
1
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
2
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