- 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 'Bołeslaw Sobociński'
220 found
Order:
- A note concerning the many-valued propositional calculi.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (2):127-128.
- Concerning the postulate-systems of subtractive abelian groups.Bolesław Sobociński - 1975 - Notre Dame Journal of Formal Logic 16 (3):429-444.
- 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.
- 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.
- Three set-theoretical formulas.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (1):58-64.
- 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.
- An equational axiomatization of associative Newman algebras.Bolesław Sobociński - 1972 - Notre Dame Journal of Formal Logic 13 (2):265-269.
- A note concerning the axiom of choice.Bolesław Sobociński - 1960 - Notre Dame Journal of Formal Logic 1 (3):122-122.
- A note on the generalized continuum hypothesis. I.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (4):274-278.
- Lattice-theoretical and mereological forms of Hauber's law.Bolesław Sobociński - 1971 - Notre Dame Journal of Formal Logic 12 (1):81-85.
- 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 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.
- On the single axioms of protothetic. III.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (3):129-148.
- 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.
- A new postulate-system for modular lattices.Bolesław Sobociński - 1975 - Notre Dame Journal of Formal Logic 16 (1):81-85.
- A short equational axiomatization of orthomodular lattices.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17 (2):317-320.
- Family ${\rm K}$ of the non-Lewis modal systems.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (4):313-318.
- A contribution to the axiomatization of Lewis' system S5.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3:51.
- Remarks about axiomatizations of certain modal systems.Bolesław Sobociński - 1964 - Notre Dame Journal of Formal Logic 5 (1):71-80.
- 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.
- 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.
- The axioms for latticoids and their associative extensions.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17 (4):625-631.
- (1 other version)Certain extensions of modal system $S4$.Bolesław Sobociński - 1970 - Notre Dame Journal of Formal Logic 11 (3):347-368.
- A note on Newman's algebraic systems.Bołeslaw Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (1):129-133.
- 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.
- A new formalization of Newman algebra.Bolesław Sobociński - 1972 - Notre Dame Journal of Formal Logic 13 (2):255-264.
- A short postulate-system for ortholattices.Bolesław Sobociński - 1975 - Notre Dame Journal of Formal Logic 16 (1):141-144.
- A theorem on Hartogs' alephs.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (4):255-258.
- Certain formulas equivalent to the axiom of choice.Bolesław Sobociński - 1961 - Notre Dame Journal of Formal Logic 2 (4):229-235.
- 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.
- On the generalized Brouwerian axioms.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (2):123-128.
- 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.
- Concerning the proper axioms of S4.02.Bolesław Sobociński - 1974 - Notre Dame Journal of Formal Logic 15:169.
- 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.
- A note on certain set-theoretical formulas.Bolesław Sobociński - 1965 - Notre Dame Journal of Formal Logic 6 (2):157-160.
- 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.
- 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.
- 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.
- 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 modular latticoids.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17 (4):617-621.
- An axiom - system for {"K;N"} - propositional calculus related to Simons' axiomatization of S3.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3:206.
- A new axiomatization of modal system K1.2.Bolesław Sobociński - 1973 - Notre Dame Journal of Formal Logic 14:413.
- La Génesis de la Escuela Polaca de Lógica.Boleslaw Sobocinski - 1960 - Journal of Symbolic Logic 25 (1):63-64.
- Pledger lemma and the modal system S3°.Bolesław Sobociński - 1976 - Notre Dame Journal of Formal Logic 17:253.
- (2 other versions)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.
| 1 — 50 / 220 |
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-667477cd97-sfdq8 dc2