13 found
Order:
  1.  14
    Almost Structural Completeness; an Algebraic Approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.
  2.  22
    Modal Consequence Relations Extending $Mathbf{S4.3}$: An Application of Projective Unification.Wojciech Dzik & Piotr Wojtylak - 2016 - Notre Dame Journal of Formal Logic 57 (4):523-549.
    We characterize all finitary consequence relations over S4.3, both syntactically, by exhibiting so-called passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic L extending S4 has projective unification if and only if L contains S4.3. In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  16
    Remarks on Projective Unifiers.Wojciech Dzik - 2011 - Bulletin of the Section of Logic 40 (1/2):37-45.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  12
    Unification in Superintuitionistic Predicate Logics and its Applications.Wojciech Dzik & Piotr Wojtylak - 2019 - Review of Symbolic Logic 12 (1):37-61.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  20
    Structural Completeness of Gödel's and Dummett's Propositional Calculi.Wojciech Dzik & Andrzej Wroński - 1973 - Studia Logica 32 (1):69-73.
  6.  19
    On Distributivity of Closure Systems.Wojciech Dzik & Roman Suszko - 1977 - Bulletin of the Section of Logic 6 (2):64-66.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  8
    Intuitionistic Propositional Logic with Galois Connections.Wojciech Dzik, Jouni Järvinen & Michiro Kondo - 2010 - Logic Journal of the IGPL 18 (6):837-858.
    In this work, an intuitionistic propositional logic with a Galois connection is introduced. In addition to the intuitionistic logic axioms and inference rule of modus ponens, the logic contains only two rules of inference mimicking the performance of Galois connections. Both Kripke-style and algebraic semantics are presented for IntGC, and IntGC is proved to be complete with respect to both of these semantics. We show that IntGC has the finite model property and is decidable, but Glivenko's Theorem does not hold. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  7
    Almost Structurally Complete Infinitary Consequence Operations Extending S4.3.Wojciech Dzik & Piotr Wojtylak - 2015 - Logic Journal of the IGPL 23 (4):640-661.
  9.  16
    Transparent Unifiers in Modal Logics with Self-Conjugate Operators.Wojciech Dzik - 2006 - Bulletin of the Section of Logic 35 (2/3):73-83.
  10.  3
    Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras.Wojciech Dzik & Sándor Radeleczki - 2016 - Bulletin of the Section of Logic 45 (3/4).
    We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x ⋁ ¬¬x = 1, preserves filtering unification, that is, the property that for every two unifiers there is a unifier more general then both of them. Contrary to that, often adding new operations to algebras results in changing the unification type. To prove the results we apply the theorems of [9] on direct products of l-algebras and filtering unification. We consider (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  30
    Strukturalna Zupełność Rachunków Zdań Gödla I Rachunku Zdań Dummetta.Wojciech Dzik & Andrzej Wroński - 1973 - Studia Logica 32 (1):74-74.
  12.  5
    Unification in First-Order Transitive Modal Logic.Wojciech Dzik & Piotr Wojtylak - forthcoming - Logic Journal of the IGPL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. Unification Types in Logic.Wojciech Dzik - 2007 - Wydawnictwo Uniwersytetu Śląskiego.