Matches in SemOpenAlex for { <https://semopenalex.org/work/W3158353569> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3158353569 abstract "In this paper, we discourse an analysis of classical first-order predicate logic as a constraint satisfaction problem, CSP. First, we will offer our general framework for CSPs, and then apply it to first-order logic. We claim it would function as a new semantics, constraint semantics, for logic. Then, we prove the soundness and completeness theorems with respect to the constraint semantics. The latter theorem, which will be proven by a proof-search method, implies the cut-elimination theorem. Furthermore, using the constraint semantics, we make a new proof of the Craig interpolation theorem. Also, we will provide feasible algorithms to generate interpolants for some decidable fragments of first-order logic: the propositional logic and the monadic fragments. The algorithms, reflecting a ‘projection’ of an indexed relation, will show how to transform given formulas syntactically to obtain interpolants." @default.
- W3158353569 created "2021-05-10" @default.
- W3158353569 creator A5003634526 @default.
- W3158353569 creator A5007582281 @default.
- W3158353569 date "2021-05-04" @default.
- W3158353569 modified "2023-09-26" @default.
- W3158353569 title "First-order logic as a constraint satisfaction problem" @default.
- W3158353569 cites W13455872 @default.
- W3158353569 cites W1496100162 @default.
- W3158353569 cites W1527777107 @default.
- W3158353569 cites W1594732291 @default.
- W3158353569 cites W1862187937 @default.
- W3158353569 cites W1991981864 @default.
- W3158353569 cites W2066021026 @default.
- W3158353569 cites W2068852367 @default.
- W3158353569 cites W2098244894 @default.
- W3158353569 cites W2099792091 @default.
- W3158353569 cites W2114633883 @default.
- W3158353569 cites W2168736288 @default.
- W3158353569 cites W2341631904 @default.
- W3158353569 cites W2400555644 @default.
- W3158353569 cites W2570911113 @default.
- W3158353569 cites W2962969935 @default.
- W3158353569 cites W4236364473 @default.
- W3158353569 cites W4238292764 @default.
- W3158353569 doi "https://doi.org/10.1007/s13748-021-00240-8" @default.
- W3158353569 hasPublicationYear "2021" @default.
- W3158353569 type Work @default.
- W3158353569 sameAs 3158353569 @default.
- W3158353569 citedByCount "0" @default.
- W3158353569 crossrefType "journal-article" @default.
- W3158353569 hasAuthorship W3158353569A5003634526 @default.
- W3158353569 hasAuthorship W3158353569A5007582281 @default.
- W3158353569 hasBestOaLocation W31583535691 @default.
- W3158353569 hasConcept C100481476 @default.
- W3158353569 hasConcept C102993220 @default.
- W3158353569 hasConcept C11413529 @default.
- W3158353569 hasConcept C118615104 @default.
- W3158353569 hasConcept C153269930 @default.
- W3158353569 hasConcept C154945302 @default.
- W3158353569 hasConcept C176783269 @default.
- W3158353569 hasConcept C19689857 @default.
- W3158353569 hasConcept C199360897 @default.
- W3158353569 hasConcept C199622910 @default.
- W3158353569 hasConcept C200116569 @default.
- W3158353569 hasConcept C33203268 @default.
- W3158353569 hasConcept C33923547 @default.
- W3158353569 hasConcept C39920170 @default.
- W3158353569 hasConcept C41008148 @default.
- W3158353569 hasConcept C44616089 @default.
- W3158353569 hasConcept C49937458 @default.
- W3158353569 hasConcept C80444323 @default.
- W3158353569 hasConceptScore W3158353569C100481476 @default.
- W3158353569 hasConceptScore W3158353569C102993220 @default.
- W3158353569 hasConceptScore W3158353569C11413529 @default.
- W3158353569 hasConceptScore W3158353569C118615104 @default.
- W3158353569 hasConceptScore W3158353569C153269930 @default.
- W3158353569 hasConceptScore W3158353569C154945302 @default.
- W3158353569 hasConceptScore W3158353569C176783269 @default.
- W3158353569 hasConceptScore W3158353569C19689857 @default.
- W3158353569 hasConceptScore W3158353569C199360897 @default.
- W3158353569 hasConceptScore W3158353569C199622910 @default.
- W3158353569 hasConceptScore W3158353569C200116569 @default.
- W3158353569 hasConceptScore W3158353569C33203268 @default.
- W3158353569 hasConceptScore W3158353569C33923547 @default.
- W3158353569 hasConceptScore W3158353569C39920170 @default.
- W3158353569 hasConceptScore W3158353569C41008148 @default.
- W3158353569 hasConceptScore W3158353569C44616089 @default.
- W3158353569 hasConceptScore W3158353569C49937458 @default.
- W3158353569 hasConceptScore W3158353569C80444323 @default.
- W3158353569 hasLocation W31583535691 @default.
- W3158353569 hasOpenAccess W3158353569 @default.
- W3158353569 hasPrimaryLocation W31583535691 @default.
- W3158353569 hasRelatedWork W1483111029 @default.
- W3158353569 hasRelatedWork W1540355970 @default.
- W3158353569 hasRelatedWork W1557497390 @default.
- W3158353569 hasRelatedWork W1857851571 @default.
- W3158353569 hasRelatedWork W1988967089 @default.
- W3158353569 hasRelatedWork W2557140257 @default.
- W3158353569 hasRelatedWork W2964409640 @default.
- W3158353569 hasRelatedWork W3158353569 @default.
- W3158353569 hasRelatedWork W4378499270 @default.
- W3158353569 hasRelatedWork W2585435203 @default.
- W3158353569 isParatext "false" @default.
- W3158353569 isRetracted "false" @default.
- W3158353569 magId "3158353569" @default.
- W3158353569 workType "article" @default.