Description

• Tytuł:
  Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
• Twórca:
  Gheorghiu, Alexander V.;
  Pym, David J.
• Współtwórca:
  Gheorghiu, Alexander V. - University College London, Department of Computer Science, Gower St, London WC1E 6BT, London, United Kingdom;
  Pym, David J. - University College London, Department of Computer Science, Gower St, London WC1E 6BT, London, United Kingdom; University College London, Department of Philosophy, Gower St, London WC1E 6BT, London, United Kingdom; University of London, Institute of Philosophy, Senate House, Malet St, London WC1E 7HU, London, United Kingdom;
  Gheorghiu, Alexander V. - alexander.gheorghiu.19@ucl.ac.uk;
  Pym, David J. - d.pym@ucl.ac.uk
• Opis:
  Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This semantics is given by a relation called support, explaining the meaning of the logical constants, which is parameterized by systems of rules called bases that provide the semantics of atomic propositions. In this paper, we interpret bases as collections of definite formulae and use the operational view of them as provided by uniform proof-search—the proof-theoretic foundation of logic programming (LP)—to establish the completeness of IPL for the B-eS. This perspective allows negation, a subtle issue in P-tS, to be understood in terms of the negation-as-failure protocol in LP. Specifically, while the denial of a proposition is traditionally understood as the assertion of its negation, in B-eS we may understand the denial of a proposition as the failure to find a proof of it. In this way, assertion and denial are both prime concepts in P-tS.
• Dostępność obiektu:
  free access
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2023.10.12;
  2023.07.18
• Typ:
  Other
• Język:
  English
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;2;
  52
• Temat i słowa kluczowe:
  logic programming;
  proof-theoretic semantics;
  bilateralism;
  negationas-failure
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/48072 ;
  2449-836X;
  10.18778/0138-0680.2023.16
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  check license
• Rodzaj zawartości:
  other