On Minimal Models for Pure Calculi of Names

Logic and Logical Philosophy 22 (4):429–443 (2013)
Download Edit this record How to cite View on PhilPapers
Abstract
By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an empty name in the model, so we are able to construct a 3-valued matrix, while for the latter, for which an empty name is necessary, the respective matrices are 4-valued
PhilPapers/Archive ID
KULOMM
Revision history
Archival date: 2013-10-22
View upload history
References found in this work BETA

View all 11 references / Add more references

Citations of this work BETA
Pure Modal Logic of Names and Tableau Systems.Pietruszczak, Andrzej & Jarmużek, Tomasz

Add more citations

Added to PP index
2013-10-22

Total views
647 ( #5,754 of 50,380 )

Recent downloads (6 months)
33 ( #18,718 of 50,380 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.