16 found
Order:
  1.  29
    Definitional Equivalence and Algebraizability of Generalized Logical Systems.Alexej P. Pynko - 1999 - Annals of Pure and Applied Logic 98 (1-3):1-68.
    In this paper we define and study a generalized notion of a logical system that covers on an equal formal basis sentential, equational and sequential systems. We develop a general theory of equivalence between generalized logics that provides, first, a conception of algebraizable logic , second, a formal concept of equivalence between sequential systems and, third, a notion of equivalence between sentential and sequential systems. We also use our theory of equivalence for developing a general algebraic approach to conjunctive non-pseudo-axiomatic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  2.  21
    Functional Completeness and Axiomatizability Within Belnap's Four-Valued Logic and its Expansions.Alexej P. Pynko - 1999 - Journal of Applied Non-Classical Logics 9 (1):61-105.
    ABSTRACT In this paper we study 12 four-valued logics arisen from Belnap's truth and/or knowledge four-valued lattices, with or without constants, by adding one or both or none of two new non-regular operations—classical negation and natural implication. We prove that the secondary connectives of the bilattice four-valued logic with bilattice constants are exactly the regular four-valued operations. Moreover, we prove that its expansion by any non-regular connective is strictly functionally complete. Further, finding axiomatizations of the quasi varieties generated by the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  3.  25
    Gentzen's Cut-Free Calculus Versus the Logic of Paradox.Alexej P. Pynko - 2010 - Bulletin of the Section of Logic 39 (1/2):35-42.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  4.  31
    Characterizing Belnap's Logic Via De Morgan's Laws.Alexej P. Pynko - 1995 - Mathematical Logic Quarterly 41 (4):442-454.
    The aim of this paper is technically to study Belnap's four-valued sentential logic . First, we obtain a Gentzen-style axiomatization of this logic that contains no structural rules while all they are still admissible in the Gentzen system what is proved with using some algebraic tools. Further, the mentioned logic is proved to be the least closure operator on the set of {Λ, V, ⌝}-formulas satisfying Tarski's conditions for classical conjunction and disjunction together with De Morgan's laws for negation. It (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  5.  30
    On Priest's Logic of Paradox.Alexej P. Pynko - 1995 - Journal of Applied Non-Classical Logics 5 (2):219-225.
  6.  34
    Algebraic Study of Sette's Maximal Paraconsistent Logic.Alexej P. Pynko - 1995 - Studia Logica 54 (1):89 - 128.
    The aim of this paper is to study the paraconsistent deductive systemP 1 within the context of Algebraic Logic. It is well known due to Lewin, Mikenberg and Schwarse thatP 1 is algebraizable in the sense of Blok and Pigozzi, the quasivariety generated by Sette's three-element algebraS being the unique quasivariety semantics forP 1. In the present paper we prove that the mentioned quasivariety is not a variety by showing that the variety generated byS is not equivalent to any algebraizable (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  7.  50
    Distributive-Lattice Semantics of Sequent Calculi with Structural Rules.Alexej P. Pynko - 2009 - Logica Universalis 3 (1):59-94.
    The goal of the paper is to develop a universal semantic approach to derivable rules of propositional multiple-conclusion sequent calculi with structural rules, which explicitly involve not only atomic formulas, treated as metavariables for formulas, but also formula set variables, upon the basis of the conception of model introduced in :27–37, 2001). One of the main results of the paper is that any regular sequent calculus with structural rules has such class of sequent models that a rule is derivable in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  9
    A Relative Interpolation Theorem for Infinitary Universal Horn Logic and its Applications.Alexej P. Pynko - 2006 - Archive for Mathematical Logic 45 (3):267-305.
    In this paper we deal with infinitary universal Horn logic both with and without equality. First, we obtain a relative Lyndon-style interpolation theorem. Using this result, we prove a non-standard preservation theorem which contains, as a particular case, a Lyndon-style theorem on surjective homomorphisms in its Makkai-style formulation. Another consequence of the preservation theorem is a theorem on bimorphisms, which, in particular, provides a tool for immediate obtaining characterizations of infinitary universal Horn classes without equality from those with equality. From (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  39
    Many-Place Sequent Calculi for Finitely-Valued Logics.Alexej P. Pynko - 2010 - Logica Universalis 4 (1):41-66.
    In this paper, we study multiplicative extensions of propositional many-place sequent calculi for finitely-valued logics arising from those introduced in Sect. 5 of Pynko (J Multiple-Valued Logic Soft Comput 10:339–362, 2004) through their translation by means of singularity determinants for logics and restriction of the original many-place sequent language. Our generalized approach, first of all, covers, on a uniform formal basis, both the one developed in Sect. 5 of Pynko (J Multiple-Valued Logic Soft Comput 10:339–362, 2004) for singular finitely-valued logics (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  12
    Regular Bilattices.Alexej P. Pynko - 2000 - Journal of Applied Non-Classical Logics 10 (1):93-111.
    ABSTRACT A bilattice is said to be regular provided its truth conjunction and disjunction are monotonic with respect to its knowledge ordering. The principal result of this paper is that the following properties of a bilattice B are equivalent: 1. B is regular; 2. the truth conjunction and disjunction of B are definable through the rest of the operations and constants of B; 3. B is isomorphic to a bilattice of the form L 1 · L 2 where L 1 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  10
    Subquasivarieties of Implicative Locally-Finite Quasivarieties.Alexej P. Pynko - 2010 - Mathematical Logic Quarterly 56 (6):643-658.
  12.  5
    Extensions of Hałkowska–Zajac's Three-Valued Paraconsistent Logic.Alexej P. Pynko - 2002 - Archive for Mathematical Logic 41 (3):299-307.
    As it was proved in [4, Sect. 3], the poset of extensions of the propositional logic defined by a class of logical matrices with equationally-definable set of distinguished values is a retract, under a Galois connection, of the poset of subprevarieties of the prevariety generated by the class of the underlying algebras of the defining matrices. In the present paper we apply this general result to the three-valued paraconsistent logic proposed by Hałkowska–Zajac [2]. Studying corresponding prevarieties, we prove that extensions (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  19
    A Cut-Free Gentzen Calculus with Subformula Property for First-Degree Entailments in Lc.Alexej P. Pynko - 2003 - Bulletin of the Section of Logic 32 (3):137-146.
  14.  7
    Erratum to “Definitional Equivalence and Algebraizability of Generalized Logical Systems” Annals of Pure and Applied Logic 98 (1999) 1–68. [REVIEW]Alexej P. Pynko - 2000 - Annals of Pure and Applied Logic 102 (3):283-284.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  5
    Four-Valued Expansions of Dunn-Belnap's Logic (I): Basic Characterizations.Alexej P. Pynko - 2020 - Bulletin of the Section of Logic 49 (4):401-437.
    Basic results of the paper are that any four-valued expansion L4 of Dunn-Belnap's logic DB4 is de_ned by a unique conjunctive matrix ℳ4 with exactly two distinguished values over an expansion.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  7
    Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics Pokaż Uproszczony Rekord.Alexej P. Pynko - 2015 - Bulletin of the Section of Logic 44 (3/4).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark