An axiomatisation of a pure calculus of names

DOI10.1007/s11225-012-9441-8zbMath1273.03088OpenAlexW2056487487MaRDI QIDQ1928489

Piotr Kulicki

Publication date: 3 January 2013

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

Full work available at URL: https://doi.org/10.1007/s11225-012-9441-8

zbMATH Keywords

Horn theoryaxiomatic rejectioncalculus of namesLeśniewski Ontology

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Pure modal logic of names and tableau systems

Cites Work

• A propositional fragment of Lesniewski's ontology
• A System of Ontology Based on Identity and Partial Ordering as an Adequate Logical Apparatus for Describing Taxonomical Structures of Concepts
• The decision problem for some classes of sentences without quantifiers
• LOGICS FOR THE RELATIONAL SYLLOGISTIC
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An axiomatisation of a pure calculus of names