scientific article; zbMATH DE number 5015951
From MaRDI portal
Publication:3377757
Recommendations
- Some corrections to R. Urbaniak's paper on ontological functors of Leśniewski's Elementary Ontology
- Leśniewski's ontology -- proof-theoretic characterization
- Set Theory and Lesniewski's Ontology
- Embedding the elementary ontology of Stanisław Leśniewski into the monadic second-order calculus of predicates
- Some non-standard interpretations of the axiomatic basis of Leśniewski's Ontology
- A correction to 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
- On the definability of Leśniewski's copula `is' in some ontology-like theories
- Abstraction and nominalization in Leśniewski's Ontology
- On the ontology of branching quantifiers
Cited in
(10)- Some non-standard interpretations of the axiomatic basis of Leśniewski's Ontology
- Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain
- An axiomatisation of a pure calculus of names
- The functional completeness of Leśniewski's systems
- On some essential subsystems of Leśniewski's ontology and the equivalence between the singular Barbara and the law of Leibniz in ontology
- Some corrections to R. Urbaniak's paper on ontological functors of Leśniewski's Elementary Ontology
- On Representing Sentential Connectives of Lesniewski's Elementary Protothetic
- Ontology Based on Non-reflexive Identity and Product Name Functor
- A semantical investigation into Leśniewski's axiom of his ontology
- Embedding the elementary ontology of Stanisław Leśniewski into the monadic second-order calculus of predicates
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3377757)
