Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384697018> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W4384697018 endingPage "266" @default.
- W4384697018 startingPage "239" @default.
- W4384697018 abstract "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." @default.
- W4384697018 created "2023-07-20" @default.
- W4384697018 creator A5013218535 @default.
- W4384697018 creator A5083790955 @default.
- W4384697018 date "2023-07-18" @default.
- W4384697018 modified "2023-10-18" @default.
- W4384697018 title "Negation-as-Failure in the Base-extension Semantics for Intuitionistic Propositional Logic" @default.
- W4384697018 cites W1541434994 @default.
- W4384697018 cites W1699512023 @default.
- W4384697018 cites W1766332311 @default.
- W4384697018 cites W1968189788 @default.
- W4384697018 cites W1969249988 @default.
- W4384697018 cites W1988347771 @default.
- W4384697018 cites W1991936529 @default.
- W4384697018 cites W2044343225 @default.
- W4384697018 cites W2045151017 @default.
- W4384697018 cites W2052436826 @default.
- W4384697018 cites W2093111544 @default.
- W4384697018 cites W2093705378 @default.
- W4384697018 cites W2143382644 @default.
- W4384697018 cites W2145470702 @default.
- W4384697018 cites W2223596223 @default.
- W4384697018 cites W2469067232 @default.
- W4384697018 cites W2501355938 @default.
- W4384697018 cites W4206603249 @default.
- W4384697018 cites W4213419297 @default.
- W4384697018 cites W4231870179 @default.
- W4384697018 cites W4242503634 @default.
- W4384697018 cites W4247637183 @default.
- W4384697018 cites W4248442343 @default.
- W4384697018 cites W4249736722 @default.
- W4384697018 cites W4384697018 @default.
- W4384697018 cites W4385453674 @default.
- W4384697018 doi "https://doi.org/10.18778/0138-0680.2023.16" @default.
- W4384697018 hasPublicationYear "2023" @default.
- W4384697018 type Work @default.
- W4384697018 citedByCount "2" @default.
- W4384697018 countsByYear W43846970182023 @default.
- W4384697018 crossrefType "journal-article" @default.
- W4384697018 hasAuthorship W4384697018A5013218535 @default.
- W4384697018 hasAuthorship W4384697018A5083790955 @default.
- W4384697018 hasBestOaLocation W43846970181 @default.
- W4384697018 hasConcept C111472728 @default.
- W4384697018 hasConcept C118615104 @default.
- W4384697018 hasConcept C127001435 @default.
- W4384697018 hasConcept C138885662 @default.
- W4384697018 hasConcept C156325763 @default.
- W4384697018 hasConcept C178421362 @default.
- W4384697018 hasConcept C184337299 @default.
- W4384697018 hasConcept C194146651 @default.
- W4384697018 hasConcept C199360897 @default.
- W4384697018 hasConcept C200065993 @default.
- W4384697018 hasConcept C207648694 @default.
- W4384697018 hasConcept C2185349 @default.
- W4384697018 hasConcept C2777152325 @default.
- W4384697018 hasConcept C33923547 @default.
- W4384697018 hasConcept C40422974 @default.
- W4384697018 hasConcept C41008148 @default.
- W4384697018 hasConcept C61151141 @default.
- W4384697018 hasConcept C69562738 @default.
- W4384697018 hasConcept C89497691 @default.
- W4384697018 hasConceptScore W4384697018C111472728 @default.
- W4384697018 hasConceptScore W4384697018C118615104 @default.
- W4384697018 hasConceptScore W4384697018C127001435 @default.
- W4384697018 hasConceptScore W4384697018C138885662 @default.
- W4384697018 hasConceptScore W4384697018C156325763 @default.
- W4384697018 hasConceptScore W4384697018C178421362 @default.
- W4384697018 hasConceptScore W4384697018C184337299 @default.
- W4384697018 hasConceptScore W4384697018C194146651 @default.
- W4384697018 hasConceptScore W4384697018C199360897 @default.
- W4384697018 hasConceptScore W4384697018C200065993 @default.
- W4384697018 hasConceptScore W4384697018C207648694 @default.
- W4384697018 hasConceptScore W4384697018C2185349 @default.
- W4384697018 hasConceptScore W4384697018C2777152325 @default.
- W4384697018 hasConceptScore W4384697018C33923547 @default.
- W4384697018 hasConceptScore W4384697018C40422974 @default.
- W4384697018 hasConceptScore W4384697018C41008148 @default.
- W4384697018 hasConceptScore W4384697018C61151141 @default.
- W4384697018 hasConceptScore W4384697018C69562738 @default.
- W4384697018 hasConceptScore W4384697018C89497691 @default.
- W4384697018 hasIssue "2" @default.
- W4384697018 hasLocation W43846970181 @default.
- W4384697018 hasOpenAccess W4384697018 @default.
- W4384697018 hasPrimaryLocation W43846970181 @default.
- W4384697018 hasRelatedWork W1491265154 @default.
- W4384697018 hasRelatedWork W1558580006 @default.
- W4384697018 hasRelatedWork W1626176828 @default.
- W4384697018 hasRelatedWork W2076557422 @default.
- W4384697018 hasRelatedWork W2077585551 @default.
- W4384697018 hasRelatedWork W2140640825 @default.
- W4384697018 hasRelatedWork W2399019821 @default.
- W4384697018 hasRelatedWork W2541423857 @default.
- W4384697018 hasRelatedWork W2790159133 @default.
- W4384697018 hasRelatedWork W2911810154 @default.
- W4384697018 hasVolume "52" @default.
- W4384697018 isParatext "false" @default.
- W4384697018 isRetracted "false" @default.
- W4384697018 workType "article" @default.