Results found: 1

Search results

Search:
in the keywords: Horn theories

Sort By:

Limit search:

On minimal models for pure calculi of names

100%

Kulicki P.

Logic and Logical Philosophy

2013

vol. 22

issue 4

429–443

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.

Refine search results

1 Logic and Logical Philosophy

1 2013

1 Kulicki P.

Search results

On minimal models for pure calculi of names