Opis

• Title:
  On minimal models for pure calculi of names
• Creator:
  Kulicki, Piotr
• Description:
  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.
• Object availability:
  Dostęp otwarty
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2013.08.29
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  angielski
• Source:
  Logic and Logical Philosophy; Vol. 22 No. 4 (2013): December; 429-443;
  Logic and Logical Philosophy; Tom 22 Nr 4 (2013): December; 429-443;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2013.023/1859
• Subject:
  calculus of names;
  Leśniewski’s Ontology;
  cardinality of models;
  Horn theories;
  axiomatic rejection
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2013.023
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  poproś o pozwolenie
• Type:
  teksty