# Search results for: Alexej P. Pynko

Bulletin of the Section of Logic > 2020 > 49 > 4 > 401-437

Mathematical Logic Quarterly > 56 > 6 > 643 - 658

*implicative*if it is generated by a class of algebras with equationally‐definable implication of equalities. Implicative finitely‐generated quasivarieties appear naturally within logic, for instance, as equivalent quasivarieties of Gentzen‐style calculi for finitely‐valued propositional logics with equality determinant (cf. [17], [18, Subsection 7.5] and Section A). Furthermore,...

Logica Universalis > 2010 > 4 > 1 > 41-66

*singularity determinants*for logics and restriction of the original many-place sequent language. Our generalized approach, first of all,...

Logica Universalis > 2009 > 3 > 1 > 59-94

*formula set variables*(viz., metavariables for finite sets of formulas), upon the basis of the conception of model introduced in (Fuzzy Sets...

Archive for Mathematical Logic > 2006 > 45 > 3 > 267-305

*theorem on bimorphisms*...

Fuzzy Sets and Systems > 2002 > 129 > 2 > 255-265

Archive for Mathematical Logic > 2002 > 41 > 3 > 299-307

Fuzzy Sets and Systems > 2001 > 121 > 3 > 397-407

Discrete Mathematics > 2001 > 232 > 1-3 > 59-66

Annals of Pure and Applied Logic > 1999 > 98 > 1-3 > 1-68