Keyword:Calculus

Publications
Many-Fold Fuzzy Semantics of Many-Place Sequent Calculi with Enlargement Alexej Pynko EasyChair Preprint 8770
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
Three-Valued Logics with Subclassical Negation Alexej Pynko EasyChair Preprint 4814
Extensions of Three-Valued Paraconsistent Logics Alexej Pynko EasyChair Preprint 4639
Semantics of Sequent Calculi with Basic Structural Rules: Fuzziness Versus Non-Multiplicativity Alexej Pynko EasyChair Preprint 4153
Finite Hilbert-Style Axiomatizations of Disjunctive and Implicative Finitely-Valued Logics with Equality Determinant Alexej Pynko EasyChair Preprint 4059