85 found
Order:
  1.  1
    Bolesław Sobociński (1956). Ajdukiewicz Kazimierz. Klasyfikacja Rozumowań . Polish, with Brief Summaries in Russian and English. Studia Logica, Pp. 278–300. [REVIEW] Journal of Symbolic Logic 21 (3):311-312.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  4
    Bolesław Sobociński (1970). Note on G. J. Massey's Closure-Algebraic Operation. Notre Dame Journal of Formal Logic 11 (3):343-346.
  3.  6
    Bolesław Sobocinski (1971). Atomistic mereology. Notre Dame Journal of Formal Logic 12 (2):89-103.
    Translate
      Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  3
    Bolesław Sobociński (1962). A Contribution to the Axiomatization of Lewis' System ${\Rm S}5$. Notre Dame Journal of Formal Logic 3 (1):51-60.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  5.  12
    Bolesław Sobociński (1960). On the Single Axioms of the Protothetic. I. Notre Dame Journal of Formal Logic 1 (1-2):52-73.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  2
    Bolesław Sobociński (1970). Certain Extensions of Modal System $S4$. Notre Dame Journal of Formal Logic 11 (3):347-368.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  7.  2
    Bolesław Sobociński (1970). Note on Zeman's Modal System $S4.04$. Notre Dame Journal of Formal Logic 11 (3):383-384.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  8. Bolesław Sobociński (1964). Family ${\Rm K}$ of the Non-Lewis Modal Systems. Notre Dame Journal of Formal Logic 5 (4):313-318.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  9.  3
    Bolesław Sobociński (1964). A Note on Prior's Systems in ``The Theory of Deduction''. Notre Dame Journal of Formal Logic 5 (2):139-140.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  10.  1
    Bolesław Sobociński (1964). Remarks About Axiomatizations of Certain Modal Systems. Notre Dame Journal of Formal Logic 5 (1):71-80.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  11.  3
    Bolesław Sobociński (1960). Errata: ``On the Single Axioms of the Protothetic. I.''. Notre Dame Journal of Formal Logic 1 (4):176-177.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  5
    Bolesław Sobociński (1973). Errata: ``An Equational Axiomatization of Associative Newman Algebras''. Notre Dame Journal of Formal Logic 14 (4):584-584.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  12
    Bolesław Sobociński (1960). A Note Concerning the Axiom of Choice. Notre Dame Journal of Formal Logic 1 (3):122-122.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  14.  1
    Bolesław Sobociński (1964). Modal System ${\Rm S}4.4$. Notre Dame Journal of Formal Logic 5 (4):305-312.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  15.  11
    Bolesław Sobociński (1961). On the Single Axioms of Protothetic. II. Notre Dame Journal of Formal Logic 2 (2):111-126.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  16. Bolesław Sobociński (1962). A Note on the Regular and Irregular Modal Systems of Lewis. Notre Dame Journal of Formal Logic 3 (2):109-113.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  17.  10
    Bolesław Sobociński (1962). A Set-Theoretical Formula Equivalent to the Axiom of Choice. Notre Dame Journal of Formal Logic 3 (3):167-169.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  18.  10
    Bolesław Sobociński (1971). Atomistic Mereology. I. Notre Dame Journal of Formal Logic 12 (1):89-103.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  19.  9
    Bolesław Sobociński (1960). A Simple Formula Equivalent to the Axiom of Choice. Notre Dame Journal of Formal Logic 1 (3):115-117.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  20.  6
    Bolesław Sobociński (1963). A Note on the Generalized Continuum Hypothesis. II. Notre Dame Journal of Formal Logic 4 (1):67-79.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  21.  8
    Bolesław Sobociński (1971). A Note on an Axiom-System of Atomistic Mereology. Notre Dame Journal of Formal Logic 12 (2):249-251.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  22.  7
    Bolesław Sobociński (1962). A Note on the Generalized Continuum Hypothesis. I. Notre Dame Journal of Formal Logic 3 (4):274-278.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  23.  7
    Bolesław Sobociński (1961). On the Single Axioms of Protothetic. III. Notre Dame Journal of Formal Logic 2 (3):129-148.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  24.  5
    Bolesław Sobociński (1963). A Note on the Generalized Continuum Hypothesis. III. Notre Dame Journal of Formal Logic 4 (3):233-240.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. Bolesław Sobociński (1971). A Proper Subsystem of ${\Rm S}4.{\Rm O}4.$. Notre Dame Journal of Formal Logic 12 (3):381-384.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  26.  1
    Bolesław Sobociński (1974). A Theorem Concerning a Restricted Rule of Substitution in the Field of Propositional Calculi. I. Notre Dame Journal of Formal Logic 15 (3):465-476.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  1
    Bolesław Sobociński (1979). Equational Two Axiom Bases for Boolean Algebras and Some Other Lattice Theories. Notre Dame Journal of Formal Logic 20 (4):865-875.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  28.  2
    Bolesław Sobociński (1961). A Theorem on Hartogs' Alephs. Notre Dame Journal of Formal Logic 2 (4):255-258.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  5
    Bolesław Sobociński (1964). A Theorem of Sierpiński on Triads and the Axiom of Choice. Notre Dame Journal of Formal Logic 5 (1):51-58.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  30.  5
    Bolesław Sobociński (1971). Atomistic mereology. II. Notre Dame Journal of Formal Logic 12 (2):203-213.
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  31.  5
    Bolesław Sobociński (1961). A Note Concerning the Many-Valued Propositional Calculi. Notre Dame Journal of Formal Logic 2 (2):127-128.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  32.  1
    Bolesław Sobociński (1964). On the Propositional System $A$ of Vučković and its Extension. II. Notre Dame Journal of Formal Logic 5 (3):223-237.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  33.  3
    Bolesław Sobociński (1973). Note About the Boolean Parts of the Extended Boolean Algebras. Notre Dame Journal of Formal Logic 14 (3):419-422.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  34.  1
    Bolesław Sobociński (1972). Solution to the Problem Concerning the Boolean Bases for Cylindric Algebras. Notre Dame Journal of Formal Logic 13 (4):529-545.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  35.  3
    Bolesław Sobociński (1961). Certain Formulas Equivalent to the Axiom of Choice. Notre Dame Journal of Formal Logic 2 (4):229-235.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  3
    Bolesław Sobociński (1962). An Axiom-System for $\{K;\,N\}$-Propositional Calculus Related to Simons' Axiomatization of ${\Rm S}3$. Notre Dame Journal of Formal Logic 3 (3):206-208.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  37.  3
    Bolesław Sobociński (1964). On the Propositional System $A$ of Vučković and its Extension. I. Notre Dame Journal of Formal Logic 5 (2):141-153.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  38.  3
    Bolesław Sobociński (1976). A Short Equational Axiomatization of Orthomodular Lattices. Notre Dame Journal of Formal Logic 17 (2):317-320.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  39.  3
    Bolesław Sobociński (1971). Lattice-Theoretical and Mereological Forms of Hauber's Law. Notre Dame Journal of Formal Logic 12 (1):81-85.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  40.  1
    Bolesław Sobociński (1961). Errata: On the Single Axioms of Protothetic. III. Notre Dame Journal of Formal Logic 2 (4):259-259.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  41.  1
    Bolesław Sobociński (1963). A Note on Modal Systems. Notre Dame Journal of Formal Logic 4 (2):155-157.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  42.  1
    Bolesław Sobociński (1972). Certain Sets of Postulates for Distributive Lattices with the Constant Elements. Notre Dame Journal of Formal Logic 13 (1):119-123.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43.  1
    Bolesław Sobociński (1973). Remark About the Boolean Parts in the Postulate-Systems of Closure, Derivative and Projective Algebras. Notre Dame Journal of Formal Logic 14 (1):111-117.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  44.  1
    Bolesław Sobociński (1971). Concerning Some Extensions of ${\Rm S}4$. Notre Dame Journal of Formal Logic 12 (3):363-370.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  45.  1
    Bolesław Sobociński (1961). Errata: Three Set-Theoretical Formulas. Notre Dame Journal of Formal Logic 2 (4):259-259.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46.  2
    Bolesław Sobociński (1973). Concerning the Quantifier Algebras in the Sense of Pinter. Notre Dame Journal of Formal Logic 14 (4):547-553.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  47.  2
    Bolesław Sobociński (1961). Three Set-Theoretical Formulas. Notre Dame Journal of Formal Logic 2 (1):58-64.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  48.  2
    Bolesław Sobociński (1978). Note About Ł Ukasiewicz's Theorem Concerning the System of Axioms of the Implicational Propositional Calculus. Notre Dame Journal of Formal Logic 19 (3):457-460.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  49.  2
    Bolesław Sobociński (1978). Awkward Axiom-Systems. Notre Dame Journal of Formal Logic 19 (2):315-320.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  50.  2
    Bolesław Sobociński (1973). Modal System ${\Rm S}3$ and the Proper Axioms of ${\Rm S}4.02$ and ${\Rm S}4.04$. Notre Dame Journal of Formal Logic 14 (3):415-418.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 85