On Lesniewski's elementary ontology

DOI10.1007/BF02120531zbMath0275.02019OpenAlexW4245023635WikidataQ114693672 ScholiaQ114693672MaRDI QIDQ2265413

Boguslaw Iwanus

Publication date: 1973

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02120531

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General logic (03B99)

Related Items (8)

Embedding the elementary ontology of Stanisław Leśniewski into the monadic second-order calculus of predicates ⋮ A semantical investigation into Leśniewski's axiom of his ontology ⋮ Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Mereology in Engineering and Computer Science ⋮ A conceptualist interpretation of Lesniewski's ontology ⋮ A survey of Lesniewski's logic ⋮ Leśniewski's ontology -- proof-theoretic characterization

Cites Work

• Unnamed Item
• The logical systems of Lesniewski
• On implicational definitions
• The systems of modal calculus of names. II: Modal calculi of names based on the classical calculus of propositions
• Studies in the axiomatic foundations of Boolean algebra. I
• Aristotle's syllogistic from the standpoint of modern formal logic
• Zur Grundlegung der Boole'schen Algebra. I

This page was built for publication: On Lesniewski's elementary ontology