Results for 'Bolesław Sobociński'

(not author) ( search as author name )
248 found
Order:
  1.  32
    Atomistic mereology. II.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (2):89-103.
  2.  52
    In Memoriam Jan Lukasiewicz (1878-1956).Boleslaw Sobocinski - 1956 - Philosophical Studies (Dublin) 6:3-49.
    THE great Polish logician Jan Lukasiewicz died on February 13, 1956 in Dublin, where, thanks to the hospitality of the Irish Government and the Royal Irish Academy, he had spent the last ten years of his life as a distinguished professor of the Academy. Thanks to the help he received in Dublin, he was able not only to reconstruct and prepare his papers for publication, but was also able to carry on new research in the field of symbolic logic, obtaining (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  32
    A Contribution to the Axiomatization of Lewis' System S 5.Ten Modal Models.Nuel D. Belnap, Boleslaw Sobocinski & Ivo Thomas - 1966 - Journal of Symbolic Logic 31 (3):498.
  4.  14
    Family ${\rm K}$ of the non-Lewis modal systems.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (4):313-318.
  5.  10
    Remarks about axiomatizations of certain modal systems.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (1):71-80.
  6.  13
    Certain extensions of modal system $S4$.Bolesław Sobociński - 1970 - Notre Dame Journal of Formal Logic 11 (3):347-368.
  7.  20
    Ajdukiewicz Kazimierz. Epistemologia i semiotyka . Przeglqd filozoficzny, vol. 44 , pp. 336–347.Bolesław Sobociński - 1951 - Journal of Symbolic Logic 15 (4):280-281.
  8.  20
    A Note On The Generalized Continuum Hypothesis, Ii.Bolesław Sobociński - 1963 - Notre Dame Journal of Formal Logic 4 (1):67-79.
  9.  8
    Certain Extensions of Modal System S4.Boleslaw Sobocinski, G. F. Schumm & J. Jay Zeman - 1975 - Journal of Symbolic Logic 40 (4):602-602.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  9
    Errata: ``An equational axiomatization of associative Newman algebras''.Bolesław Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (4):584-584.
  11.  3
    Erratum: ``Modal system ${rm S}3$ and the proper axioms of ${rm S}4.02$ and ${rm S}4.04$''.Bolesław Sobociński - 1974 - Notre Dame Journal of Formal Logic 15 (4):648-648.
  12.  3
    Errata: ``Note on G. J. Massey's closure-algebraic operation''.Bolesław Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (4):584-584.
  13.  14
    Errata: On the single axioms of protothetic. III.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (4):259-259.
  14.  7
    Errata: ``On the single axioms of the protothetic. I.''.Bolesław Sobociński - 1960 - Notre Dame Journal of Formal Logic 1 (4):176-177.
  15.  9
    Errata: ``On the single axioms of protothetic. I.''.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (4):259-259.
  16.  2
    Errata: Three set-theoretical formulas.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (4):259-259.
  17.  21
    Jan Salamucha (1903-1944).Boleslaw Sobociński - 1958 - New Scholasticism 32 (3):327-333.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  4
    Jan Salamucha (1903-1944).Boleslaw Sobociński - 1958 - New Scholasticism 32 (3):327-333.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  21
    Note on a problem of Paul Bernays.Boleslaw Sobocinski - 1955 - Journal of Symbolic Logic 20 (2):109 - 114.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  20.  6
    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 (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  7
    Modal system ${\rm S}4.4$.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (4):305-312.
  22.  32
    Atomistic mereology. I.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (1):89-103.
  23.  8
    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.
  24.  6
    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.
  25.  10
    Note about Ł ukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus.Bolesław Sobociński - 1978 - Notre Dame Journal of Formal Logic 19 (3):457-460.
  26.  11
    Note on Zeman's modal system $S4.04$.Bolesław Sobociński - 1970 - Notre Dame Journal of Formal Logic 11 (3):383-384.
  27.  20
    On the single axioms of the protothetic. I.Bolesław Sobociński - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):52-73.
  28.  6
    Six New sets of Independent Axioms for Distributive Lattices with O and I.William Wernick & Boleslaw Sobocinski - 1965 - Journal of Symbolic Logic 30 (3):377.
  29.  2
    A note on Newman's algebraic systems.Bołeslaw Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (1):129-133.
  30.  8
    Awkward axiom-systems.Bolesław Sobociński - 1978 - Notre Dame Journal of Formal Logic 19 (2):315-320.
  31.  4
    An abbreviation of Croisot's axiom-system for distributive lattices with $I$.Bolesław Sobociński - 1972 - Notre Dame Journal of Formal Logic 13 (1):139-141.
  32.  13
    An equational axiomatization and a semi-lattice theoretical characterization of mixed associative Newman algebras.Bolesław Sobociński - 1972 - Notre Dame Journal of Formal Logic 13 (3):407-423.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  33.  10
    An equational axiomatization of associative Newman algebras.Bolesław Sobociński - 1972 - Notre Dame Journal of Formal Logic 13 (2):265-269.
  34.  28
    Atomistic mereology. II.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (2):203-213.
  35.  14
    A new axiomatization of the mixed associative Newman algebras.Bolesław Sobociński - 1978 - Notre Dame Journal of Formal Logic 19 (3):467-474.
  36.  24
    A note concerning the axiom of choice.Bolesław Sobociński - 1960 - Notre Dame Journal of Formal Logic 1 (3):122-122.
  37.  33
    A note concerning the many-valued propositional calculi.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (2):127-128.
  38.  2
    A new class of modal systems.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (3):371-377.
  39.  2
    A new formalization of Newman algebra.Bolesław Sobociński - 1972 - Notre Dame Journal of Formal Logic 13 (2):255-264.
  40.  19
    A note on the generalized continuum hypothesis. I.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (4):274-278.
  41.  13
    A note on modal systems.Bolesław Sobociński - 1963 - Notre Dame Journal of Formal Logic 4 (2):155-157.
  42.  17
    A note on the generalized continuum hypothesis. III.Bolesław Sobociński - 1963 - Notre Dame Journal of Formal Logic 4 (3):233-240.
  43.  23
    A note on the generalized continuum hypothesis. II.Bolesław Sobociński - 1963 - Notre Dame Journal of Formal Logic 4 (1):67-79.
  44.  14
    A note on certain set-theoretical formulas.Bolesław Sobociński - 1965 - Notre Dame Journal of Formal Logic 6 (2):157-160.
  45.  22
    A note on an axiom-system of atomistic mereology.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (2):249-251.
  46.  8
    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.
  47.  11
    A new postulate-system for modular lattices.Bolesław Sobociński - 1975 - Notre Dame Journal of Formal Logic 16 (1):81-85.
  48.  8
    A remark concerning the third theorem about the existence of successors of cardinals.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (4):279-283.
  49.  19
    A short equational axiomatization of modular ortholattices.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17 (2):311-316.
  50.  17
    A short equational axiomatization of orthomodular lattices.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17 (2):317-320.
1 — 50 / 248