The three major logical systems which Lesniewski developed were: Protothetic, a theory of propositions and propositional functors, similar in power to a theory of propositional types, providing an extended propositional calculus with quantified functional variables; Ontology, which is an axiomatised theory of common names based on protothetic which may be characterised as a cross between traditional term logic and modern type theory, containing, besides singular terms, also empty and plural terms and a host of other interesting features; and Mereology, which is an axiomatic extension of ontology for a theory of classes quite different from set theory providing a formal theory of part and whole similar to the calculus of individuals.
Ang tatlong pangunahing mga makatuwirang sistema na kung saan ay binuo Lesniewski: Protothetic, isang teorya ng propositions at propositional functors, katulad sa kapangyarihan sa isang uri ng teorya ng propositional, magbibigay ng isang extended propositional calculus sa quantified functional variable; ontolohiya, na kung saan ay isang axiomatised teorya ng mga karaniwang pangalan ng base sa protothetic na kung saan ay maaaring characterised bilang isang cross sa pagitan ng tradisyunal na kataga ng lohika at makabagong uri ng teorya, na naglalaman ng, sa tabi ng isahan terms, din walang laman at maramihan na mga tuntunin at isang host ng iba pang mga kagiliw-giliw na mga katangian; at Mereology, na kung saan ay isang axiomatic extension ng ontolohiya para sa isang teorya ng pag-aaral ng lubos mula sa iba't-ibang set theory na nagbibigay ng isang pormal na teorya ng mga bahagi at kabuuan na katulad ng calculus ng mga indibidwal.