Boleslaw Sobocinski - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 75 from 75

1979

Equational two axiom bases for Boolean algebras and some other lattice theoriesBoleslaw Sobocinski. ndjfl, 20(4):865-875, 1979. [doi]

1978

A new axiomatization of the mixed associative Newman algebrasBoleslaw Sobocinski. ndjfl, 19(3):467-474, 1978. [doi]

Awkward axiom-systemsBoleslaw Sobocinski. ndjfl, 19(2):315-320, 1978. [doi]

Note about Łukasiewicz's theorem concerning the system of axioms of the implicational propositional calculusBoleslaw Sobocinski. ndjfl, 19(3):457-460, 1978. [doi]

1976

The modular latticoidsBoleslaw Sobocinski. ndjfl, 17(4):617-621, 1976. [doi]

The axioms for latticoids and their associative extensionsBoleslaw Sobocinski. ndjfl, 17(4):625-631, 1976. [doi]

A short equational axiomatization of orthomodular latticesBoleslaw Sobocinski. ndjfl, 17(2):317-320, 1976. [doi]

Pledger lemma and the modal system S3đegBoleslaw Sobocinski. ndjfl, 17(2):253-256, 1976. [doi]

A short equational axiomatization of modular ortholatticesBoleslaw Sobocinski. ndjfl, 17(2):311-316, 1976. [doi]

1975

A new postulate-system for modular latticesBoleslaw Sobocinski. ndjfl, 16(1):81-85, 1975. [doi]

A short postulate-system for ortholatticesBoleslaw Sobocinski. ndjfl, 16(1):141-144, 1975. [doi]

Concerning the postulate-systems of subtractive abelian groupsBoleslaw Sobocinski. ndjfl, 16(3):429-444, 1975. [doi]

1974

Erratum: "Modal system S3 and the proper axioms of S4.02 and S4.04"Boleslaw Sobocinski. ndjfl, 15(4):648, 1974. [doi]

A theorem concerning a restricted rule of substitution in the field of propositional calculi. IIBoleslaw Sobocinski. ndjfl, 15(4):589-597, 1974. [doi]

A theorem concerning a restricted rule of substitution in the field of propositional calculi. IBoleslaw Sobocinski. ndjfl, 15(3):465-476, 1974. [doi]

Concerning the proper axioms of S4.02Boleslaw Sobocinski. ndjfl, 15(1):169-172, 1974. [doi]

1973

A new axiomatization of modal system K1.2Boleslaw Sobocinski. ndjfl, 14(3):413-414, 1973. [doi]

Errata: "Note on G. J. Massey's closure-algebraic operation"Boleslaw Sobocinski. ndjfl, 14(4):584, 1973. [doi]

A note on Newman's algebraic systemsBoleslaw Sobocinski. ndjfl, 14(1):129-133, 1973. [doi]

Remark about the Boolean parts in the postulate-systems of closure, derivative and projective algebrasBoleslaw Sobocinski. ndjfl, 14(1):111-117, 1973. [doi]

Note about the Boolean parts of the extended Boolean algebrasBoleslaw Sobocinski. ndjfl, 14(3):419-422, 1973. [doi]

Errata: "An equational axiomatization of associative Newman algebras"Boleslaw Sobocinski. ndjfl, 14(4):584, 1973. [doi]

Concerning the quantifier algebras in the sense of PinterBoleslaw Sobocinski. ndjfl, 14(4):547-553, 1973. [doi]

Modal system S3 and the proper axioms of S4.02 and S4.04Boleslaw Sobocinski. ndjfl, 14(3):415-418, 1973. [doi]

1972

Solution to the problem concerning the Boolean bases for cylindric algebrasBoleslaw Sobocinski. ndjfl, 13(4):529-545, 1972. [doi]

Certain sets of postulates for distributive lattices with the constant elementsBoleslaw Sobocinski. ndjfl, 13(1):119-123, 1972. [doi]

An equational axiomatization and a semi-lattice theoretical characterization of mixed associative Newman algebrasBoleslaw Sobocinski. ndjfl, 13(3):407-423, 1972. [doi]

A new formalization of Newman algebraBoleslaw Sobocinski. ndjfl, 13(2):255-264, 1972. [doi]

An equational axiomatization of associative Newman algebrasBoleslaw Sobocinski. ndjfl, 13(2):265-269, 1972. [doi]

An abbreviation of Croisot's axiom-system for distributive lattices with IBoleslaw Sobocinski. ndjfl, 13(1):139-141, 1972. [doi]

Additional note on lattice-theoretical form of Hauber's lawBoleslaw Sobocinski. ndjfl, 13(1):101-102, 1972. [doi]

A semi-lattice theoretical characterization of associative Newman algebrasBoleslaw Sobocinski. ndjfl, 13(2):283-285, 1972. [doi]

1971

Lattice-theoretical and mereological forms of Hauber's lawBoleslaw Sobocinski. ndjfl, 12(1):81-85, 1971. [doi]

Atomistic mereology. IBoleslaw Sobocinski. ndjfl, 12(1):89-103, 1971. [doi]

Concerning some extensions of S4Boleslaw Sobocinski. ndjfl, 12(3):363-370, 1971. [doi]

A proper subsystem of S4.O4.Boleslaw Sobocinski. ndjfl, 12(3):381-384, 1971. [doi]

Atomistic mereology. IIBoleslaw Sobocinski. ndjfl, 12(2):203-213, 1971. [doi]

A note on an axiom-system of atomistic mereologyBoleslaw Sobocinski. ndjfl, 12(2):249-251, 1971. [doi]

A new class of modal systemsBoleslaw Sobocinski. ndjfl, 12(3):371-377, 1971. [doi]

1970

Note on G. J. Massey's closure-algebraic operationBoleslaw Sobocinski. ndjfl, 11(3):343-346, 1970. [doi]

Certain extensions of modal system S4Boleslaw Sobocinski. ndjfl, 11(3):347-368, 1970. [doi]

Note on Zeman's modal system S4.04Boleslaw Sobocinski. ndjfl, 11(3):383-384, 1970. [doi]

1965

A note on certain set-theoretical formulasBoleslaw Sobocinski. ndjfl, 6(2):157-160, 1965. [doi]

1964

A note on Prior's systems in "The theory of deduction"Boleslaw Sobocinski. ndjfl, 5(2):139-140, 1964. [doi]

A theorem of Sierpiński on triads and the axiom of choiceBoleslaw Sobocinski. ndjfl, 5(1):51-58, 1964. [doi]

Modal system S4.4Boleslaw Sobocinski. ndjfl, 5(4):305-312, 1964. [doi]

On the propositional system A of Vučković and its extension. IBoleslaw Sobocinski. ndjfl, 5(2):141-153, 1964. [doi]

On the propositional system A of Vučković and its extension. IIBoleslaw Sobocinski. ndjfl, 5(3):223-237, 1964. [doi]

Remarks about axiomatizations of certain modal systemsBoleslaw Sobocinski. ndjfl, 5(1):71-80, 1964. [doi]

Family K of the non-Lewis modal systemsBoleslaw Sobocinski. ndjfl, 5(4):313-318, 1964. [doi]

1963

A note on the generalized continuum hypothesis. IIBoleslaw Sobocinski. ndjfl, 4(1):67-79, 1963. [doi]

A note on modal systemsBoleslaw Sobocinski. ndjfl, 4(2):155-157, 1963. [doi]

A note on the generalized continuum hypothesis. IIIBoleslaw Sobocinski. ndjfl, 4(3):233-240, 1963. [doi]

1962

A set-theoretical formula equivalent to the axiom of choiceBoleslaw Sobocinski. ndjfl, 3(3):167-169, 1962. [doi]

A note on the regular and irregular modal systems of LewisBoleslaw Sobocinski. ndjfl, 3(2):109-113, 1962. [doi]

Six new sets of independent axioms for distributive lattices with O and IBoleslaw Sobocinski. ndjfl, 3(3):187-192, 1962. [doi]

A remark concerning the third theorem about the existence of successors of cardinalsBoleslaw Sobocinski. ndjfl, 3(4):279-283, 1962. [doi]

On the generalized Brouwerian axiomsBoleslaw Sobocinski. ndjfl, 3(2):123-128, 1962. [doi]

An axiom-system for {K;N}-propositional calculus related to Simons' axiomatization of S3Boleslaw Sobocinski. ndjfl, 3(3):206-208, 1962. [doi]

A note on the generalized continuum hypothesis. IBoleslaw Sobocinski. ndjfl, 3(4):274-278, 1962. [doi]

A contribution to the axiomatization of Lewis' system S5Boleslaw Sobocinski. ndjfl, 3(1):51-60, 1962. [doi]

1961

Errata: Three set-theoretical formulasBoleslaw Sobocinski. ndjfl, 2(4):259, 1961. [doi]

A note concerning the many-valued propositional calculiBoleslaw Sobocinski. ndjfl, 2(2):127-128, 1961. [doi]

On the single axioms of protothetic. IIBoleslaw Sobocinski. ndjfl, 2(2):111-126, 1961. [doi]

Errata: On the single axioms of protothetic. IIIBoleslaw Sobocinski. ndjfl, 2(4):259, 1961. [doi]

On the single axioms of protothetic. IIIBoleslaw Sobocinski. ndjfl, 2(3):129-148, 1961. [doi]

Errata: "On the single axioms of protothetic. I."Boleslaw Sobocinski. ndjfl, 2(4):259, 1961. [doi]

Certain formulas equivalent to the axiom of choiceBoleslaw Sobocinski. ndjfl, 2(4):229-235, 1961. [doi]

Three set-theoretical formulasBoleslaw Sobocinski. ndjfl, 2(1):58-64, 1961. [doi]

A theorem on Hartogs' alephsBoleslaw Sobocinski. ndjfl, 2(4):255-258, 1961. [doi]

1960

A simple formula equivalent to the axiom of choiceBoleslaw Sobocinski. ndjfl, 1(3):115-117, 1960. [doi]

Errata: "On the single axioms of the protothetic. I."Boleslaw Sobocinski. ndjfl, 1(4):176-177, 1960. [doi]

A note concerning the axiom of choiceBoleslaw Sobocinski. ndjfl, 1(3):122, 1960. [doi]

On the single axioms of the protothetic. IBoleslaw Sobocinski. ndjfl, 1(1-2):52-73, 1960. [doi]

1955

Note on a Problem of Paul BernaysBoleslaw Sobocinski. JSYML, 20(2):109-114, 1955.

Sign in or sign up to see more results.

runs on WebDSL