Author:Alexej Pynko

Publications
Morgan-Stone Lattices versus De Morgan Lattices Alexej Pynko EasyChair Preprint 11668
Morgan-Stone Lattices Alexej Pynko EasyChair Preprint 10296
Morgan-Stone Lattices Alexej Pynko EasyChair Preprint 10296
Morgan-Stone Lattices Alexej Pynko EasyChair Preprint 10296
Morgan-Stone Lattices Alexej Pynko EasyChair Preprint 10296
Morgan-Stone Lattices Alexej Pynko EasyChair Preprint 10296
Morgan-Stone Lattices Alexej Pynko EasyChair Preprint 10296
Implicativity Versus Filtrality, Disjunctivity and Finite Semi-Simplicity Alexej Pynko EasyChair Preprint 3096
Morgan-Stone Lattices Alexej Pynko EasyChair Preprint 10296
Implicativity Versus Filtrality, Disjunctivity and Equality Determinants Alexej Pynko EasyChair Preprint 3096
Morgan-Stone Lattices Alexej Pynko EasyChair Preprint 10296
Morgan-Stone Lattices Alexej Pynko EasyChair Preprint 10296
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
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
Many-Fold Fuzzy Semantics of Many-Place Sequent Calculi with Enlargement Alexej Pynko EasyChair Preprint 8770
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
Finite Hilbert-Style Axiomatizations of Disjunctive and Implicative Finitely-Valued Logics with Equality Determinant Alexej Pynko EasyChair Preprint 4059
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint 6563
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
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
Self-Extensionality of Finitely-Valued Logics Alexej Pynko EasyChair Preprint 4928
Self-extensionality of finitely-valued logics Alexej Pynko EasyChair Preprint 4928
Three-Valued Logics with Subclassical Negation Alexej Pynko EasyChair Preprint 4814
Three-Valued Logics with Subclassical Negation Alexej Pynko EasyChair Preprint 4814
Extensions of Three-Valued Paraconsistent Logics Alexej Pynko EasyChair Preprint 4639
Extensions of Three-Valued Paraconsistent Logics Alexej Pynko EasyChair Preprint 4639
Extensions of Three-Valued Paraconsistent Logics Alexej Pynko EasyChair Preprint 4639
Finite Hilbert-Style Axiomatizations of Disjunctive and Implicative Finitely-Valued Logics with Equality Determinant Alexej Pynko EasyChair Preprint 4059
Finite Hilbert-Style Axiomatizations of Disjunctive and Implicative Finitely-Valued Logics with Equality Determinant Alexej Pynko EasyChair Preprint 4059
Hilbert-Style Axiomatizations of Disjunctive and Implicative Finitely-Valued Logics with Equality Determinant Alexej Pynko EasyChair Preprint 4059
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
Four-Valued Expansions of Belnap's Logic: Inheriting Basic Peculiarities Alexej Pynko EasyChair Preprint 3118
Miscellaneous Extensions of Four-Valued Expansions of Belnap's Logic Alexej Pynko EasyChair Preprint 4078
Hilbert-Style Axiomatizations of Disjunctive and Implicative Finitely-Valued Logics with Equality Determinant Alexej Pynko EasyChair Preprint 4059
Subprevarieties of Algebraic Systems Versus Extensions of Logics: Application to Some Many-Valued Logics Alexej Pynko EasyChair Preprint 3942
Four-Valued Expansions of Belnap'S Logic: Inheriting Basic Peculiarities Alexej Pynko EasyChair Preprint 3118
Four-Valued Expansions of Belnap'S Logic: Inheriting Basic Peculiarities Alexej Pynko EasyChair Preprint 3118
Four-Valued Expansions of Belnap'S Logic: Inheriting Basic Peculiarities Alexej Pynko EasyChair Preprint 3118
Implicativity Versus Filtrality, Disjunctivity and Equality Determinants Alexej Pynko EasyChair Preprint 3096
Four-Valued Expansions of Belnap'S Logic: Inheriting Basic Peculiarities Alexej Pynko EasyChair Preprint 3118
Implicativity Versus Filtrality, Disjunctivity and Equality Determinants Alexej Pynko EasyChair Preprint 3096

Keyphrases

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