On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories

DOI10.18778/0138-0680.47.4.02zbMath1437.03107OpenAlexW2945534238WikidataQ131341351 ScholiaQ131341351MaRDI QIDQ5742615

Marcin Łyczak, Andrzej Pietruszczak

Publication date: 15 May 2019

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.47.4.02

zbMATH Keywords

elementary ontologycalculus of namesLeśniewski's ontologycopula `is'ontology-like theoriesquantifier-free fragment of ontologysubtheories of Leśniewski's ontology

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (1)

Mereology with super-supplemention axioms. A reconstruction of the unpublished manuscript of Jan F. Drewnowski

This page was built for publication: On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories