12 found
Order:
  1.  8
    Almost Structural Completeness; an Algebraic Approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.
  2.  17
    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   3 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. Unification Types in Logic.Wojciech Dzik - 2007 - Wydawnictwo Uniwersytetu Śląskiego.
  5.  5
    Almost Structurally Complete Infinitary Consequence Operations Extending S4.3.Wojciech Dzik & Piotr Wojtylak - 2015 - Logic Journal of the IGPL 23 (4):640-661.
  6.  7
    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  
  7.  18
    Structural Completeness of Gödel's and Dummett's Propositional Calculi.Wojciech Dzik & Andrzej Wroński - 1973 - Studia Logica 32 (1):69-73.
  8.  8
    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  
  9.  18
    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  
  10.  16
    Transparent Unifiers in Modal Logics with Self-Conjugate Operators.Wojciech Dzik - 2006 - Bulletin of the Section of Logic 35 (2/3):73-83.
  11.  2
    Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras.Wojciech Dzik & Sándor Radeleczki - 2017 - Bulletin of the Section of Logic 45 (3/4).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  27
    Strukturalna Zupełność Rachunków Zdań Gödla I Rachunku Zdań Dummetta.Wojciech Dzik & Andrzej Wroński - 1973 - Studia Logica 32 (1):74-74.