Keyword:Calculus

Papers
Many-Fold Fuzzy Semantics of Many-Place Sequent Calculi with Enlargement Alexej Pynko EasyChair Preprint no. 8770
Finite Hilbert-Style Axiomatizations of Disjunctive and Implicative Finitely-Valued Logics with Equality Determinant Alexej Pynko EasyChair Preprint no. 4059
Minimally Many-Valued Maximally Paraconsistent Minimal Unary Subclassical Expansions of LP Alexej Pynko EasyChair Preprint no. 5358
Structural Completeness of Three-Valued Logics with Subclassical Negation Alexej Pynko EasyChair Preprint no. 5171
Three-Valued Logics with Subclassical Negation Alexej Pynko EasyChair Preprint no. 4814
Extensions of Three-Valued Paraconsistent Logics Alexej Pynko EasyChair Preprint no. 4639
Semantics of Sequent Calculi with Basic Structural Rules: Fuzziness Versus Non-Multiplicativity Alexej Pynko EasyChair Preprint no. 4153