Description

• Title:
  Particular Reasoning Within Theories
• Creator:
  Rasga, João;
  Sernadas, Cristina
• Description:
  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.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2025 João Rasga, Cristina Sernadas;
  https://creativecommons.org/licenses/by-nd/4.0
• Date:
  2025.03.28
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Online First Articles; 1-37;
  Logic and Logical Philosophy; Prace online; 1-37;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/53944/42028
• Subject:
  theories,;
  particular reasoning;
  labelled deduction;
  knowledge representation
• Identifier: https://apcz.umk.pl/LLP/article/view/53944
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text