A propositional fragment of Leśniewski's ontology and its formulation by the tableau method

DOI10.1007/BF00370344zbMath0597.03015OpenAlexW2066197269WikidataQ114694675 ScholiaQ114694675MaRDI QIDQ1078555

Mitsunori Kobayashi, Arata Ishimoto

Publication date: 1982

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

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

zbMATH Keywords

embedding in first-order predicate logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (5)

A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB ⋮ Leśniewski and Russell's Paradox: Some Problems ⋮ Leśniewski's ontology -- proof-theoretic characterization ⋮ European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 ⋮ On Blass translation for Leśniewski's propositional ontology and modal logics

Cites Work

• Tableau systems for first order number theory and certain higher order theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A propositional fragment of Leśniewski's ontology and its formulation by the tableau method