20 found
Order:
  1.  24
    An Algebraic Characterization of the Notion of Structural Completeness.Tadeusz Prucnal & Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (1):30-33.
  2.  33
    On Finitely Based Consequence Operations.Andrzej Wroński - 1976 - Studia Logica 35 (4):453 - 458.
  3.  20
    Structural Completeness of Gödel's and Dummett's Propositional Calculi.Wojciech Dzik & Andrzej Wroński - 1973 - Studia Logica 32 (1):69-73.
  4.  34
    On Jaśkowski-Type Semantics for the Intuitionistic Propositional Logic.Stanisław J. Surma, Andrzej Wroński & Stanisław Zachorowski - 1975 - Studia Logica 34 (2):145-148.
  5.  28
    Constructing Denumerable Matrices Strongly Adequate for Pre-Finite Logics.Ewa Graczyńska & Andrzej Wroński - 1974 - Studia Logica 33 (4):417 - 423.
  6.  20
    On Factoring by Compact Congruences in Algebras of Certain Varieties Related to the Intuitionistic Logic.Andrzej Wronski - 1986 - Bulletin of the Section of Logic 15 (2):48-51.
    This is a summary of a talk delivered at the Winter School of Logic held in Rabka, 24.02 – 04.03.1986 by the Department of Logic of the Jagiellonian University. We wish to announce here several results on embeddability of quotient algebras of certain kind into algebras of some varieties related to the class of Heyting algebras. A “by product” is the deduction theorem for a large family of intermediate consequence operations.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  7.  27
    Remarks on Hallden-Completeness of Modal and Intermediate Logics.Andrzej Wronski - 1976 - Bulletin of the Section of Logic 5 (4):126-129.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  33
    Remarks on Intermediate Logics with Axioms Containing Only One Variable.Andrzej Wronski - 1973 - Bulletin of the Section of Logic 2 (1):58-62.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  22
    On the Construction of Matrices Strongly Adequate for Pre-Finite Logics.Ewa Graczynska & Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (2):15-17.
  10.  21
    Quasivarieties of Heyting Algebras.Andrzej Wronski - 1981 - Bulletin of the Section of Logic 10 (3):128-131.
  11.  37
    Remarks on a Survey Article on Many Valued Logic by A. Urquhart.Andrzej Wroński - 1987 - Studia Logica 46 (3):275 - 278.
  12.  22
    Books Received. [REVIEW]Wiesław Dziobiak, Andrzej Wroński, Wojciech Suchoń, Jan Zygmunt & Ryszard Wójcicki - 1981 - Studia Logica 40 (4):415-421.
  13.  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.
  14.  16
    On Normal Agassiz Systems of Algebras.Ewa Graczynska & Andrzej Wronski - 1975 - Bulletin of the Section of Logic 4 (4):143-147.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. A Contribution to the History of Investigations Into the Intermediate Propositional Calculi1.Andrzej Wronski - 1973 - In Stanisław J. Surma (ed.), Studies in the History of Mathematical Logic. Wrocław, Zakład Narodowy Im. Ossolinskich. pp. 133.
     
    Export citation  
     
    Bookmark  
  16.  38
    On Equivalental Fragments of Some Intermediate Logics.Andrzej Wronski - 1974 - Bulletin of the Section of Logic 3 (2):11-13.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  24
    On the Depth of a Consequence Operation.Andrzej Wronski - 1977 - Bulletin of the Section of Logic 6 (3):96-101.
    In this paper we dene a concept of depth of a consequence operation which seems to have a few useful properties. To make our denition worth- while we shall show that the concept of depth leads to a strengthening of the well-known theorem of R. Wojcicki [4]. For unexplained terminology and notations we refer the reader to R. Wojcicki [5]. Algebras and matrices con- sidered in this paper are of the same similarity type indicating a sequence of nitary operations.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  18
    On the Degree of Completeness of Positive Logic.Andrzej Wronski - 1973 - Bulletin of the Section of Logic 2 (65):65-69.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  36
    The Distance Function in Commutative ℓ-Semigroups and the Equivalence in Łukasiewicz Logic.Andrzej Wroński - 2004 - Studia Logica 77 (2):241 - 253.
    The equivalence connective in ukasiewicz logic has its algebraic counterpart which is the distance function d(x,y) =|x–y| of a positive cone of a commutative -group. We make some observations on logically motivated algebraic structures involving the distance function.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20.  17
    The Number of Isomorphism Types of Subdirectly Indecomposable Pseudo-Boolean Algebras.Andrzej Wronski - 1976 - Bulletin of the Section of Logic 5 (4):130-131.
    Direct download  
     
    Export citation  
     
    Bookmark