Boleslaw Sobocinski

75 papers Journal 75

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