Boleslaw Sobocinski

Publication Activity (10 Years)

Years Active: 1955-1979
Publications (10 Years): 0

Publications

Boleslaw Sobocinski
Equational two axiom bases for Boolean algebras and some other lattice theories. Notre Dame J. Formal Log. 20 (4) (1979)
Boleslaw Sobocinski
Awkward axiom-systems. Notre Dame J. Formal Log. 19 (2) (1978)
Boleslaw Sobocinski
Note about Łukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus. Notre Dame J. Formal Log. 19 (3) (1978)
Boleslaw Sobocinski
A new axiomatization of the mixed associative Newman algebras. Notre Dame J. Formal Log. 19 (3) (1978)
Boleslaw Sobocinski
Pledger lemma and the modal system S3đeg. Notre Dame J. Formal Log. 17 (2) (1976)
Boleslaw Sobocinski
The axioms for latticoids and their associative extensions. Notre Dame J. Formal Log. 17 (4) (1976)
Boleslaw Sobocinski
A short equational axiomatization of orthomodular lattices. Notre Dame J. Formal Log. 17 (2) (1976)
Boleslaw Sobocinski
A short equational axiomatization of modular ortholattices. Notre Dame J. Formal Log. 17 (2) (1976)
Boleslaw Sobocinski
The modular latticoids. Notre Dame J. Formal Log. 17 (4) (1976)
Boleslaw Sobocinski
A new postulate-system for modular lattices. Notre Dame J. Formal Log. 16 (1) (1975)
Boleslaw Sobocinski
A short postulate-system for ortholattices. Notre Dame J. Formal Log. 16 (1) (1975)
Boleslaw Sobocinski
Concerning the postulate-systems of subtractive abelian groups. Notre Dame J. Formal Log. 16 (3) (1975)
Boleslaw Sobocinski
Erratum: "Modal system S3 and the proper axioms of S4.02 and S4.04". Notre Dame J. Formal Log. 15 (4) (1974)
Boleslaw Sobocinski
A theorem concerning a restricted rule of substitution in the field of propositional calculi. II. Notre Dame J. Formal Log. 15 (4) (1974)
Boleslaw Sobocinski
A theorem concerning a restricted rule of substitution in the field of propositional calculi. I. Notre Dame J. Formal Log. 15 (3) (1974)
Boleslaw Sobocinski
Concerning the proper axioms of S4.02. Notre Dame J. Formal Log. 15 (1) (1974)
Boleslaw Sobocinski
Remark about the Boolean parts in the postulate-systems of closure, derivative and projective algebras. Notre Dame J. Formal Log. 14 (1) (1973)
Boleslaw Sobocinski
Errata: "An equational axiomatization of associative Newman algebras". Notre Dame J. Formal Log. 14 (4) (1973)
Boleslaw Sobocinski
Errata: "Note on G. J. Massey's closure-algebraic operation". Notre Dame J. Formal Log. 14 (4) (1973)
Boleslaw Sobocinski
A note on Newman's algebraic systems. Notre Dame J. Formal Log. 14 (1) (1973)
Boleslaw Sobocinski
A new axiomatization of modal system K1.2. Notre Dame J. Formal Log. 14 (3) (1973)
Boleslaw Sobocinski
Note about the Boolean parts of the extended Boolean algebras. Notre Dame J. Formal Log. 14 (3) (1973)
Boleslaw Sobocinski
Modal system S3 and the proper axioms of S4.02 and S4.04. Notre Dame J. Formal Log. 14 (3) (1973)
Boleslaw Sobocinski
Concerning the quantifier algebras in the sense of Pinter. Notre Dame J. Formal Log. 14 (4) (1973)
Boleslaw Sobocinski
Solution to the problem concerning the Boolean bases for cylindric algebras. Notre Dame J. Formal Log. 13 (4) (1972)
Boleslaw Sobocinski
A semi-lattice theoretical characterization of associative Newman algebras. Notre Dame J. Formal Log. 13 (2) (1972)
Boleslaw Sobocinski
An abbreviation of Croisot's axiom-system for distributive lattices with I. Notre Dame J. Formal Log. 13 (1) (1972)
Boleslaw Sobocinski
Certain sets of postulates for distributive lattices with the constant elements. Notre Dame J. Formal Log. 13 (1) (1972)
Boleslaw Sobocinski
A new formalization of Newman algebra. Notre Dame J. Formal Log. 13 (2) (1972)
Boleslaw Sobocinski
An equational axiomatization of associative Newman algebras. Notre Dame J. Formal Log. 13 (2) (1972)
Boleslaw Sobocinski
Additional note on lattice-theoretical form of Hauber's law. Notre Dame J. Formal Log. 13 (1) (1972)
Boleslaw Sobocinski
An equational axiomatization and a semi-lattice theoretical characterization of mixed associative Newman algebras. Notre Dame J. Formal Log. 13 (3) (1972)
Boleslaw Sobocinski
A note on an axiom-system of atomistic mereology. Notre Dame J. Formal Log. 12 (2) (1971)
Boleslaw Sobocinski
A new class of modal systems. Notre Dame J. Formal Log. 12 (3) (1971)
Boleslaw Sobocinski
Concerning some extensions of S4. Notre Dame J. Formal Log. 12 (3) (1971)
Boleslaw Sobocinski
Lattice-theoretical and mereological forms of Hauber's law. Notre Dame J. Formal Log. 12 (1) (1971)
Boleslaw Sobocinski
A proper subsystem of S4.O4.. Notre Dame J. Formal Log. 12 (3) (1971)
Boleslaw Sobocinski
Atomistic mereology. I. Notre Dame J. Formal Log. 12 (1) (1971)
Boleslaw Sobocinski
Atomistic mereology. II. Notre Dame J. Formal Log. 12 (2) (1971)
Boleslaw Sobocinski
Note on G. J. Massey's closure-algebraic operation. Notre Dame J. Formal Log. 11 (3) (1970)
Boleslaw Sobocinski
Certain extensions of modal system S4. Notre Dame J. Formal Log. 11 (3) (1970)
Boleslaw Sobocinski
Note on Zeman's modal system S4.04. Notre Dame J. Formal Log. 11 (3) (1970)
Boleslaw Sobocinski
A note on certain set-theoretical formulas. Notre Dame J. Formal Log. 6 (2) (1965)
Boleslaw Sobocinski
Remarks about axiomatizations of certain modal systems. Notre Dame J. Formal Log. 5 (1) (1964)
Boleslaw Sobocinski
On the propositional system A of Vučković and its extension. I. Notre Dame J. Formal Log. 5 (2) (1964)
Boleslaw Sobocinski
Family K of the non-Lewis modal systems. Notre Dame J. Formal Log. 5 (4) (1964)
Boleslaw Sobocinski
A theorem of Sierpiński on triads and the axiom of choice. Notre Dame J. Formal Log. 5 (1) (1964)
Boleslaw Sobocinski
A note on Prior's systems in "The theory of deduction". Notre Dame J. Formal Log. 5 (2) (1964)
Boleslaw Sobocinski
Modal system S4.4. Notre Dame J. Formal Log. 5 (4) (1964)
Boleslaw Sobocinski
On the propositional system A of Vučković and its extension. II. Notre Dame J. Formal Log. 5 (3) (1964)
Boleslaw Sobocinski
A note on the generalized continuum hypothesis. III. Notre Dame J. Formal Log. 4 (3) (1963)
Boleslaw Sobocinski
A note on the generalized continuum hypothesis. II. Notre Dame J. Formal Log. 4 (1) (1963)
Boleslaw Sobocinski
A note on modal systems. Notre Dame J. Formal Log. 4 (2) (1963)
Boleslaw Sobocinski
A set-theoretical formula equivalent to the axiom of choice. Notre Dame J. Formal Log. 3 (3) (1962)
Boleslaw Sobocinski
A contribution to the axiomatization of Lewis' system S5. Notre Dame J. Formal Log. 3 (1) (1962)
Boleslaw Sobocinski
A note on the generalized continuum hypothesis. I. Notre Dame J. Formal Log. 3 (4) (1962)
Boleslaw Sobocinski
A remark concerning the third theorem about the existence of successors of cardinals. Notre Dame J. Formal Log. 3 (4) (1962)
Boleslaw Sobocinski
A note on the regular and irregular modal systems of Lewis. Notre Dame J. Formal Log. 3 (2) (1962)
Boleslaw Sobocinski
An axiom-system for {K;N}-propositional calculus related to Simons' axiomatization of S3. Notre Dame J. Formal Log. 3 (3) (1962)
Boleslaw Sobocinski
On the generalized Brouwerian axioms. Notre Dame J. Formal Log. 3 (2) (1962)
Boleslaw Sobocinski
Six new sets of independent axioms for distributive lattices with O and I. Notre Dame J. Formal Log. 3 (3) (1962)
Boleslaw Sobocinski
Certain formulas equivalent to the axiom of choice. Notre Dame J. Formal Log. 2 (4) (1961)
Boleslaw Sobocinski
Three set-theoretical formulas. Notre Dame J. Formal Log. 2 (1) (1961)
Boleslaw Sobocinski
A note concerning the many-valued propositional calculi. Notre Dame J. Formal Log. 2 (2) (1961)
Boleslaw Sobocinski
On the single axioms of protothetic. II. Notre Dame J. Formal Log. 2 (2) (1961)
Boleslaw Sobocinski
A theorem on Hartogs' alephs. Notre Dame J. Formal Log. 2 (4) (1961)
Boleslaw Sobocinski
Errata: "On the single axioms of protothetic. I.". Notre Dame J. Formal Log. 2 (4) (1961)
Boleslaw Sobocinski
Errata: On the single axioms of protothetic. III. Notre Dame J. Formal Log. 2 (4) (1961)
Boleslaw Sobocinski
Errata: Three set-theoretical formulas. Notre Dame J. Formal Log. 2 (4) (1961)
Boleslaw Sobocinski
On the single axioms of protothetic. III. Notre Dame J. Formal Log. 2 (3) (1961)
Boleslaw Sobocinski
On the single axioms of the protothetic. I. Notre Dame J. Formal Log. 1 (1-2) (1960)
Boleslaw Sobocinski
Errata: "On the single axioms of the protothetic. I.". Notre Dame J. Formal Log. 1 (4) (1960)
Boleslaw Sobocinski
A note concerning the axiom of choice. Notre Dame J. Formal Log. 1 (3) (1960)
Boleslaw Sobocinski
A simple formula equivalent to the axiom of choice. Notre Dame J. Formal Log. 1 (3) (1960)
Boleslaw Sobocinski
Note on a Problem of Paul Bernays. J. Symb. Log. 20 (2) (1955)