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