Petr Ferbas

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 3

Top Topics

Formal Analysis

Top Venues

Int. J. Approx. Reason.

Publications

Irina Perfilieva, Tam Pham, Petr Ferbas
Quadrature Rules for the Fm-Transform Polynomial Components. Axioms 11 (10) (2022)
Vilém Novák, Petra Murinová, Petr Ferbas
Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers. Int. J. Approx. Reason. 150 (2022)
Stefania Boffa, Petra Murinová, Vilém Novák, Petr Ferbas
Graded cubes of opposition in fuzzy formal concept analysis. Int. J. Approx. Reason. 145 (2022)