Switch to: Citations

Add references

You must login to add references.
  1. Kilka uwag o pojęciu zupeŀności rachunku zdań. I.Witold A. Pogorzelski - 1968 - Studia Logica 23:43.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
    I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...
    Download  
     
    Export citation  
     
    Bookmark   403 citations  
  • Kilka uwag O pojęciu zupeŀności rachunku zdań. I.Witold A. Pogorzelski - 1968 - Studia Logica 23 (1):43 - 58.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Universal Algebra.P. M. Cohn - 1969 - Journal of Symbolic Logic 34 (1):113-114.
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
    Download  
     
    Export citation  
     
    Bookmark   194 citations  
  • The problem of reconstructability of propositional calculi.Marek Tokarz & Ryszard Wójcicki - 1971 - Studia Logica 28 (1):119 - 129.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations.Roman Suszko - 1961 - Studia Logica 11 (1):185 - 216.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • The independence of connectives.Timothy Smiley - 1962 - Journal of Symbolic Logic 27 (4):426-436.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • On the structural completeness of some pure implicational propositional calculi.Tadeusz Prucnal - 1972 - Studia Logica 30 (1):45 - 52.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Some structure results for propositional calculi.Ronald Harrop - 1965 - Journal of Symbolic Logic 30 (3):271-292.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Formalna teoria wartości logicznych IФормалЯная теория логических значенийA formal theory of the logical values I.Roman Suszko - 1957 - Studia Logica 6 (1):145-237.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Formalna teoria wartości logicznych I.Roman Suszko - 1957 - Studia Logica 6 (1):145-237.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • François Lepage, Elias Thijsse, Heinrich Wansing/In-troduction 1 J. Michael Dunn/Partiality and its Dual 5 Jan van Eijck/Making Things Happen 41 William M. Farmer, Joshua D. Guttman/A Set Theory. [REVIEW]René Lavendhomme, Thierry Lucas & Sequent Calculi - 2000 - Studia Logica 66:447-448.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.
    Download  
     
    Export citation  
     
    Bookmark   96 citations  
  • On structural completeness of Łukasiewicz's logics.Marek Tokarz - 1972 - Studia Logica 30 (1):53-58.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Algebraic Completeness Results for Dummett's LC and Its Extensions.J. Michael Dunn & Robert K. Meyer - 1971 - Mathematical Logic Quarterly 17 (1):225-230.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Logical Systems With Implication And Theories Of Quasi-implicative Algebras.Jerzy Kotas - 1972 - Bulletin of the Section of Logic 1 (1):13-22.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • O zwiazkach pomiedzy wynikaniem, sprzecznoscia i zupelnoscia.W. Zandarowska - 1966 - Studia Logica 18:165.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.
    Download  
     
    Export citation  
     
    Bookmark   117 citations  
  • The algebraic treatment of the methodology of elementary deductive systems.Jerzy Łoś - 1955 - Studia Logica 2 (1):151 - 212.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Allgemeine Logische und Mathematische Theorien.Jerzy Kotas & August Pieczkowski - 1970 - Mathematical Logic Quarterly 16 (6):353-376.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • O związkach pomiędzy wynikaniem, sprzecznością I zupełnością.Wiesŀawa Żandarowska - 1966 - Studia Logica 18 (1):165 - 178.
    Download  
     
    Export citation  
     
    Bookmark   1 citation