- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Results for 'Bolesław Sobociński'
(not author) ( search as author name )
260 found
Order:
- A note on Newman's algebraic systems.Bołeslaw Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (1):129-133.
- The modular latticoids.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17 (4):617-621.
- Three set-theoretical formulas.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (1):58-64.
- 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.
- 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.
- Errata: ``On the single axioms of protothetic. I.''.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (4):259-259.
- Family ${\rm K}$ of the non-Lewis modal systems.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (4):313-318.
- Remarks about axiomatizations of certain modal systems.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (1):71-80.
- Modal system ${\rm S}4.4$.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (4):305-312.
- On the single axioms of the protothetic. I.Bolesław Sobociński - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):52-73.
- 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
- 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.
- Note on Zeman's modal system $S4.04$.Bolesław Sobociński - 1970 - Notre Dame Journal of Formal Logic 11 (3):383-384.
- Atomistic mereology. II.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (2):89-103.
- Certain extensions of modal system $S4$.Bolesław Sobociński - 1970 - Notre Dame Journal of Formal Logic 11 (3):347-368.
- Concerning some extensions of ${\rm S}4$.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (3):363-370.
- 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.
- Concerning the postulate-systems of subtractive abelian groups.Bolesław Sobociński - 1975 - Notre Dame Journal of Formal Logic 16 (3):429-444.
- Concerning the quantifier algebras in the sense of Pinter.Bolesław Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (4):547-553.
- 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.
- Lattice-theoretical and mereological forms of Hauber's law.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (1):81-85.
- 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.
- On the generalized Brouwerian axioms.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (2):123-128.
- 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.
- 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.
- On the single axioms of protothetic. II.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (2):111-126.
- On the single axioms of protothetic. III.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (3):129-148.
- 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.
- Six new sets of independent axioms for distributive lattices with $O$ and $I$.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (3):187-192.
- 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.
- The axioms for latticoids and their associative extensions.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17 (4):625-631.
- 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.
- Errata: ``On the single axioms of the protothetic. I.''.Bolesław Sobociński - 1960 - Notre Dame Journal of Formal Logic 1 (4):176-177.
- Atomistic mereology. I.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (1):89-103.
- 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.
- 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.
- 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.
- A Note On The Generalized Continuum Hypothesis, Ii.Bolesław Sobociński - 1963 - Notre Dame Journal of Formal Logic 4 (1):67-79.
- Certain Extensions of Modal System S4.Boleslaw Sobocinski, G. F. Schumm & J. Jay Zeman - 1975 - Journal of Symbolic Logic 40 (4):602-602.
- Errata: ``An equational axiomatization of associative Newman algebras''.Bolesław Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (4):584-584.
- Errata: On the single axioms of protothetic. III.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (4):259-259.
- Errata: Three set-theoretical formulas.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (4):259-259.
- Jan Salamucha (1903-1944).Boleslaw Sobociński - 1958 - New Scholasticism 32 (3):327-333.No categories
- Jan Salamucha (1903-1944).Boleslaw Sobociński - 1958 - New Scholasticism 32 (3):327-333.No categories
- Note on a problem of Paul Bernays.Boleslaw Sobocinski - 1955 - Journal of Symbolic Logic 20 (2):109 - 114.
- Awkward axiom-systems.Bolesław Sobociński - 1978 - Notre Dame Journal of Formal Logic 19 (2):315-320.
- 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.
- 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.
- An equational axiomatization of associative Newman algebras.Bolesław Sobociński - 1972 - Notre Dame Journal of Formal Logic 13 (2):265-269.
- Atomistic mereology. II.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (2):203-213.
| 1 — 50 / 260 |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-hhxx8 uwo