Author:Alexej Pynko

Publications
Morgan-Stone Lattices versus De Morgan Lattices Alexej Pynko EasyChair Preprint 11668
Morgan-Stone Lattices Alexej Pynko EasyChair Preprint 10296
Implicativity Versus Filtrality, Disjunctivity and Finite Semi-Simplicity Alexej Pynko EasyChair Preprint 3096
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
Many-Fold Fuzzy Semantics of Many-Place Sequent Calculi with Enlargement Alexej Pynko EasyChair Preprint 8770
Finite Hilbert-Style Axiomatizations of Disjunctive and Implicative Finitely-Valued Logics with Equality Determinant Alexej Pynko EasyChair Preprint 4059
Three-Valued Paraconsistent Logics with Subclassical Negation and Their Extensions Alexej Pynko EasyChair Preprint 5564
Minimally Many-Valued Maximally Paraconsistent Minimal Unary Subclassical Expansions of LP Alexej Pynko EasyChair Preprint 5358
Structural Completeness of Three-Valued Logics with Subclassical Negation Alexej Pynko EasyChair Preprint 5171
Self-Extensionality of Finitely-Valued Logics Alexej Pynko EasyChair Preprint 4928
Three-Valued Logics with Subclassical Negation Alexej Pynko EasyChair Preprint 4814
Extensions of Three-Valued Paraconsistent Logics Alexej Pynko EasyChair Preprint 4639
Four-Valued Expansions of Belnap's Logic: Inheriting Basic Peculiarities Alexej Pynko EasyChair Preprint 3118
Semantics of Sequent Calculi with Basic Structural Rules: Fuzziness Versus Non-Multiplicativity Alexej Pynko EasyChair Preprint 4153
Miscellaneous Extensions of Four-Valued Expansions of Belnap's Logic Alexej Pynko EasyChair Preprint 4078
Subprevarieties of Algebraic Systems Versus Extensions of Logics: Application to Some Many-Valued Logics Alexej Pynko EasyChair Preprint 3942

Keyphrases

algebra², Calculus⁷, De Morgan lattice, disjunctive, extension⁶, filtral, homomorphism, implicative, lattice², logic¹², matrix¹², model⁵, quasi-variety, quasivariety, REDPC, sequent, Stone algebra.