Opis

• Tytuł:
  Particular Reasoning Within Theories
• Twórca:
  Rasga, João;
  Sernadas, Cristina
• Opis:
  Particular reasoning enables the deductive proof of existential properties, such as the satisfiability/consistency of a set of formulas. In this work, we consider particular reasoning in the context of a theory of a given logic. The logic is presented by a semantic constraint specification. From this specification, we induce a particular calculus for the logic at hand. In this calculus we define what is a particular derivation in the context of a theory and show how to extract a model of the theory that satisfies the assertions within the derivation. We demonstrate that the induced particular calculus is both sound and complete with regard to the intended semantics. Our results are applicable to logics with a strong finite model property, including classical, intuitionistic, certain modal logics, and Nelson’s N4 logic, among others.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2025 João Rasga, Cristina Sernadas;
  https://creativecommons.org/licenses/by-nd/4.0
• Data:
  2025.03.28
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Online First Articles; 1-37;
  Logic and Logical Philosophy; Prace online; 1-37;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/53944/42028
• Temat i słowa kluczowe:
  theories,;
  particular reasoning;
  labelled deduction;
  knowledge representation
• Identyfikator: https://apcz.umk.pl/LLP/article/view/53944
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty