Boleslaw Sobocinski

发表

A proper subsystem of S4.O4

Boleslaw Sobocinski, 1971, Notre Dame J. Formal Log..

Note on a Problem of Paul Bernays

Boleslaw Sobocinski, 1955, J. Symb. Log..

A remark concerning the third theorem about the existence of successors of cardinals

Boleslaw Sobocinski, 1962, Notre Dame J. Formal Log..

Atomistic mereology. I

Boleslaw Sobocinski, 1971, Notre Dame J. Formal Log..

A note on the generalized continuum hypothesis. II

Boleslaw Sobocinski, 1963, Notre Dame J. Formal Log..

A new formalization of Newman algebra

Boleslaw Sobocinski, 1972, Notre Dame J. Formal Log..

A note on modal systems

Boleslaw Sobocinski, 1963, Notre Dame J. Formal Log..

A new postulate-system for modular lattices

Boleslaw Sobocinski, 1975, Notre Dame J. Formal Log..

A new axiomatization of modal system K1.2

Boleslaw Sobocinski, 1973, Notre Dame J. Formal Log..

Modal system S3 and the proper axioms of S4.02 and S4.04

Boleslaw Sobocinski, 1973, Notre Dame J. Formal Log..

On the single axioms of protothetic. III

Boleslaw Sobocinski, 1961, Notre Dame J. Formal Log..

Certain sets of postulates for distributive lattices with the constant elements

Boleslaw Sobocinski, 1972, Notre Dame J. Formal Log..

A note on the regular and irregular modal systems of Lewis

Boleslaw Sobocinski, 1962, Notre Dame J. Formal Log..

A semi-lattice theoretical characterization of associative Newman algebras

Boleslaw Sobocinski, B. Sobocinski, 1972, Notre Dame J. Formal Log..

An abbreviation of Croisot's axiom-system for distributive lattices with I

Boleslaw Sobocinski, 1972, Notre Dame J. Formal Log..

Family K of the non-Lewis modal systems

Boleslaw Sobocinski, 1964, Notre Dame J. Formal Log..

A note on certain set-theoretical formulas

Boleslaw Sobocinski, 1965, Notre Dame J. Formal Log..

A note concerning the many-valued propositional calculi

Boleslaw Sobocinski, 1961, Notre Dame J. Formal Log..

Concerning the postulate-systems of subtractive abelian groups

Boleslaw Sobocinski, 1975, Notre Dame J. Formal Log..

Concerning some extensions of S4

Boleslaw Sobocinski, 1971, Notre Dame J. Formal Log..

A short postulate-system for ortholattices

Boleslaw Sobocinski, 1975, Notre Dame J. Formal Log..

Note on Zeman's modal system S4.04

Boleslaw Sobocinski, 1970, Notre Dame J. Formal Log..

A contribution to the axiomatization of Lewis' system S5

Boleslaw Sobocinski, 1962, Notre Dame J. Formal Log..

A short equational axiomatization of orthomodular lattices

Boleslaw Sobocinski, 1976, Notre Dame J. Formal Log..

A theorem concerning a restricted rule of substitution in the field of propositional calculi. II

Boleslaw Sobocinski, 1974, Notre Dame J. Formal Log..

A new axiomatization of the mixed associative Newman algebras

Boleslaw Sobocinski, 1978, Notre Dame J. Formal Log..

A note on the generalized continuum hypothesis. I

Boleslaw Sobocinski, 1962, Notre Dame J. Formal Log..

Awkward axiom-systems

Boleslaw Sobocinski, 1978, Notre Dame J. Formal Log..

A simple formula equivalent to the axiom of choice

Boleslaw Sobocinski, 1960, Notre Dame J. Formal Log..

Note about the Boolean parts of the extended Boolean algebras

Boleslaw Sobocinski, 1973, Notre Dame J. Formal Log..

An equational axiomatization of associative Newman algebras

Boleslaw Sobocinski, B. Sobocinski, 1972, Notre Dame J. Formal Log..

On the propositional system A of Vučković and its extension. I

Boleslaw Sobocinski, 1964, Notre Dame J. Formal Log..

Six new sets of independent axioms for distributive lattices with O and I

Boleslaw Sobocinski, 1962, Notre Dame J. Formal Log..

Lattice-theoretical and mereological forms of Hauber's law

Boleslaw Sobocinski, 1971, Notre Dame J. Formal Log..

On the propositional system A of Vučković and its extension. II

Boleslaw Sobocinski, 1964, Notre Dame J. Formal Log..

Equational two axiom bases for Boolean algebras and some other lattice theories

Boleslaw Sobocinski, 1979, Notre Dame J. Formal Log..

An equational axiomatization and a semi-lattice theoretical characterization of mixed associative Newman algebras

Boleslaw Sobocinski, 1972, Notre Dame J. Formal Log..

An axiom-system for {K;N}-propositional calculus related to Simons' axiomatization of S3

Boleslaw Sobocinski, 1962, Notre Dame J. Formal Log..

A theorem on Hartogs' alephs

Boleslaw Sobocinski, 1961, Notre Dame J. Formal Log..

A short equational axiomatization of modular ortholattices

Boleslaw Sobocinski, 1976, Notre Dame J. Formal Log..

On the generalized Brouwerian axioms

Boleslaw Sobocinski, B. Sobocinski, 1962, Notre Dame J. Formal Log..

A theorem concerning a restricted rule of substitution in the field of propositional calculi. I

Boleslaw Sobocinski, 1974, Notre Dame J. Formal Log..

Errata: "An equational axiomatization of associative Newman algebras"

Boleslaw Sobocinski, 1973, Notre Dame J. Formal Log..

On the single axioms of the protothetic. I

Boleslaw Sobocinski, B. Sobocinski, 1960, Notre Dame J. Formal Log..

Certain formulas equivalent to the axiom of choice

Boleslaw Sobocinski, 1961, Notre Dame J. Formal Log..

Remarks about axiomatizations of certain modal systems

Boleslaw Sobocinski, 1964, Notre Dame J. Formal Log..

A set-theoretical formula equivalent to the axiom of choice

Boleslaw Sobocinski, 1962, Notre Dame J. Formal Log..

Modal system S4.4

Boleslaw Sobocinski, 1964, Notre Dame J. Formal Log..

Solution to the problem concerning the Boolean bases for cylindric algebras

Boleslaw Sobocinski, B. Sobocinski, 1972, Notre Dame J. Formal Log..

A note concerning the axiom of choice

Boleslaw Sobocinski, 1960, Notre Dame J. Formal Log..

The axioms for latticoids and their associative extensions

Boleslaw Sobocinski, 1976, Notre Dame J. Formal Log..

A theorem of Sierpiński on triads and the axiom of choice

Boleslaw Sobocinski, 1964, Notre Dame J. Formal Log..

Note on G. J. Massey's closure-algebraic operation

Boleslaw Sobocinski, 1970, Notre Dame J. Formal Log..

A note on the generalized continuum hypothesis. III

Boleslaw Sobocinski, 1963, Notre Dame J. Formal Log..

On the single axioms of protothetic. II

Boleslaw Sobocinski, 1961, Notre Dame J. Formal Log..

The modular latticoids

Boleslaw Sobocinski, 1976, Notre Dame J. Formal Log..

Note about Łukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus

Boleslaw Sobocinski, 1978, Notre Dame J. Formal Log..

A new class of modal systems

Boleslaw Sobocinski, 1971, Notre Dame J. Formal Log..

Errata: "On the single axioms of protothetic. I."

Boleslaw Sobocinski, 1961, Notre Dame J. Formal Log..

Pledger lemma and the modal system S3đeg

Boleslaw Sobocinski, 1976, Notre Dame J. Formal Log..

Certain extensions of modal system S4

Boleslaw Sobocinski, B. Sobocinski, 1970, Notre Dame J. Formal Log..

Concerning the proper axioms of S4.02

Boleslaw Sobocinski, 1974, Notre Dame J. Formal Log..

Remark about the Boolean parts in the postulate-systems of closure, derivative and projective algebras

Boleslaw Sobocinski, B. Sobocinski, 1973, Notre Dame J. Formal Log..

Three set-theoretical formulas

Boleslaw Sobocinski, 1961, Notre Dame J. Formal Log..

A note on Prior's systems in "The theory of deduction"

Boleslaw Sobocinski, 1964, Notre Dame J. Formal Log..

A note on an axiom-system of atomistic mereology

Boleslaw Sobocinski, 1971, Notre Dame J. Formal Log..

Atomistic mereology. II

Boleslaw Sobocinski, 1971, Notre Dame J. Formal Log..

Errata: Three set-theoretical formulas

Boleslaw Sobocinski, 1961, Notre Dame J. Formal Log..

A note on Newman's algebraic systems

Boleslaw Sobocinski, B. Sobocinski, 1973, Notre Dame J. Formal Log..

Concerning the quantifier algebras in the sense of Pinter

Boleslaw Sobocinski, 1973, Notre Dame J. Formal Log..

Additional note on lattice-theoretical form of Hauber's law

Boleslaw Sobocinski, 1972, Notre Dame J. Formal Log..