- 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
Works by Bolesław Sobociński
91 found
Order:
- 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.
- Many-Valued Logics.Bolesław Sobociński - 1955 - Journal of Symbolic Logic 20 (1):45-50.
- Certain extensions of modal system $S4$.Bolesław Sobociński - 1970 - Notre Dame Journal of Formal Logic 11 (3):347-368.
- A contribution to the axiomatization of Lewis' system S5.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3:51.
- Atomistic mereology. II.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (2):89-103.
- 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.
- Modal system ${\rm S}4.4$.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (4):305-312.
- Modal system S4.4.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5:305.
- 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.
- 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.
- On the single axioms of the protothetic. I.Bolesław Sobociński - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):52-73.
- 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.
- A new axiomatization of the mixed associative Newman algebras.Bolesław Sobociński - 1978 - Notre Dame Journal of Formal Logic 19 (3):467-474.
- A note concerning the axiom of choice.Bolesław Sobociński - 1960 - Notre Dame Journal of Formal Logic 1 (3):122-122.
- A note concerning the many-valued propositional calculi.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (2):127-128.
- A new class of modal systems.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (3):371-377.
- A new formalization of Newman algebra.Bolesław Sobociński - 1972 - Notre Dame Journal of Formal Logic 13 (2):255-264.
- A note on the generalized continuum hypothesis. I.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (4):274-278.
- A note on modal systems.Bolesław Sobociński - 1963 - Notre Dame Journal of Formal Logic 4 (2):155-157.
- A note on the generalized continuum hypothesis. III.Bolesław Sobociński - 1963 - Notre Dame Journal of Formal Logic 4 (3):233-240.
- A note on the generalized continuum hypothesis. II.Bolesław Sobociński - 1963 - Notre Dame Journal of Formal Logic 4 (1):67-79.
- A note on certain set-theoretical formulas.Bolesław Sobociński - 1965 - Notre Dame Journal of Formal Logic 6 (2):157-160.
- A note on an axiom-system of atomistic mereology.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (2):249-251.
- 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.
- A new postulate-system for modular lattices.Bolesław Sobociński - 1975 - Notre Dame Journal of Formal Logic 16 (1):81-85.
- 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.
- A short equational axiomatization of modular ortholattices.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17 (2):311-316.
- A short equational axiomatization of orthomodular lattices.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17 (2):317-320.
- A simple formula equivalent to the axiom of choice.Bolesław Sobociński - 1960 - Notre Dame Journal of Formal Logic 1 (3):115-117.
- 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.
- A short postulate-system for ortholattices.Bolesław Sobociński - 1975 - Notre Dame Journal of Formal Logic 16 (1):141-144.
- A semi-lattice theoretical characterization of associative Newman algebras.Bolesław Sobociński - 1972 - Notre Dame Journal of Formal Logic 13 (2):283-285.
- 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.
- A theorem concerning a restricted rule of substitution in the field of propositional calculi. II.Bolesław Sobociński - 1974 - Notre Dame Journal of Formal Logic 15 (4):589-597.
- A theorem on Hartogs' alephs.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (4):255-258.
- 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.
- Certain formulas equivalent to the axiom of choice.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (4):229-235.
- 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.
| 1 — 50 / 91 |
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-7c76586df8-hc2g5 uwo