Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891547273> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2891547273 endingPage "65" @default.
- W2891547273 startingPage "1" @default.
- W2891547273 abstract "Abstract In the paper, we generalise the well-known hyperresolution principle to the general first-order Godel logic with explicit partial truth. We propose a hyperresolution calculus suitable for automated deduction in a useful expansion of Godel logic by intermediate truth constants and the equality, ≖, strict order, ≺, projection, Δ, operators. We solve the deduction problem of a formula from a countable theory in this expansion. We expand Godel logic by a countable set of intermediate truth constants of the form c ¯ , c ∈ ( 0 , 1 ) . Our approach is based on translation of a formula to an equivalent satisfiable finite order clausal theory, consisting of order clauses. An order clause is a finite set of order literals of the form e 1 ⋄ e 2 where e i is an atom or a truth constant or a quantified atom, and ⋄ is a connective ≖, equality, or ≺, strict order. ≖ and ≺ are interpreted by the equality and standard strict linear order on [ 0 , 1 ] , respectively. We shall investigate the canonical standard completeness, where the semantics of Godel logic is given by the standard G-algebra, and truth constants are interpreted by ‘themselves’. The hyperresolution calculus is refutation sound and complete for a countable order clausal theory under a certain condition for the set of truth constants occurring in the theory. As an interesting consequence, we get an affirmative solution to the open problem of recursive enumerability of unsatisfiable formulae in Godel logic with truth constants and the equality, ≖, strict order, ≺, projection, Δ, operators." @default.
- W2891547273 created "2018-09-27" @default.
- W2891547273 creator A5083703034 @default.
- W2891547273 date "2019-05-01" @default.
- W2891547273 modified "2023-09-27" @default.
- W2891547273 title "Hyperresolution for Gödel logic with truth constants" @default.
- W2891547273 cites W1966321785 @default.
- W2891547273 cites W1976537120 @default.
- W2891547273 cites W1978050007 @default.
- W2891547273 cites W1983382657 @default.
- W2891547273 cites W1996010294 @default.
- W2891547273 cites W1997196510 @default.
- W2891547273 cites W1999997889 @default.
- W2891547273 cites W2004739217 @default.
- W2891547273 cites W2009190427 @default.
- W2891547273 cites W2027752737 @default.
- W2891547273 cites W2037085273 @default.
- W2891547273 cites W2042415202 @default.
- W2891547273 cites W2044560939 @default.
- W2891547273 cites W2057361103 @default.
- W2891547273 cites W2062897452 @default.
- W2891547273 cites W2100738443 @default.
- W2891547273 cites W2103135708 @default.
- W2891547273 cites W2123127290 @default.
- W2891547273 cites W2237602444 @default.
- W2891547273 cites W2326267538 @default.
- W2891547273 cites W2527933024 @default.
- W2891547273 cites W2021448969 @default.
- W2891547273 doi "https://doi.org/10.1016/j.fss.2018.09.008" @default.
- W2891547273 hasPublicationYear "2019" @default.
- W2891547273 type Work @default.
- W2891547273 sameAs 2891547273 @default.
- W2891547273 citedByCount "1" @default.
- W2891547273 countsByYear W28915472732022 @default.
- W2891547273 crossrefType "journal-article" @default.
- W2891547273 hasAuthorship W2891547273A5083703034 @default.
- W2891547273 hasConcept C100481476 @default.
- W2891547273 hasConcept C110729354 @default.
- W2891547273 hasConcept C11413529 @default.
- W2891547273 hasConcept C118615104 @default.
- W2891547273 hasConcept C134306372 @default.
- W2891547273 hasConcept C136119220 @default.
- W2891547273 hasConcept C154945302 @default.
- W2891547273 hasConcept C17231256 @default.
- W2891547273 hasConcept C199343813 @default.
- W2891547273 hasConcept C199360897 @default.
- W2891547273 hasConcept C200116569 @default.
- W2891547273 hasConcept C202444582 @default.
- W2891547273 hasConcept C2777686260 @default.
- W2891547273 hasConcept C2781302003 @default.
- W2891547273 hasConcept C33923547 @default.
- W2891547273 hasConcept C37754750 @default.
- W2891547273 hasConcept C41008148 @default.
- W2891547273 hasConcept C46274116 @default.
- W2891547273 hasConcept C57493831 @default.
- W2891547273 hasConcept C69562738 @default.
- W2891547273 hasConcept C71924100 @default.
- W2891547273 hasConceptScore W2891547273C100481476 @default.
- W2891547273 hasConceptScore W2891547273C110729354 @default.
- W2891547273 hasConceptScore W2891547273C11413529 @default.
- W2891547273 hasConceptScore W2891547273C118615104 @default.
- W2891547273 hasConceptScore W2891547273C134306372 @default.
- W2891547273 hasConceptScore W2891547273C136119220 @default.
- W2891547273 hasConceptScore W2891547273C154945302 @default.
- W2891547273 hasConceptScore W2891547273C17231256 @default.
- W2891547273 hasConceptScore W2891547273C199343813 @default.
- W2891547273 hasConceptScore W2891547273C199360897 @default.
- W2891547273 hasConceptScore W2891547273C200116569 @default.
- W2891547273 hasConceptScore W2891547273C202444582 @default.
- W2891547273 hasConceptScore W2891547273C2777686260 @default.
- W2891547273 hasConceptScore W2891547273C2781302003 @default.
- W2891547273 hasConceptScore W2891547273C33923547 @default.
- W2891547273 hasConceptScore W2891547273C37754750 @default.
- W2891547273 hasConceptScore W2891547273C41008148 @default.
- W2891547273 hasConceptScore W2891547273C46274116 @default.
- W2891547273 hasConceptScore W2891547273C57493831 @default.
- W2891547273 hasConceptScore W2891547273C69562738 @default.
- W2891547273 hasConceptScore W2891547273C71924100 @default.
- W2891547273 hasLocation W28915472731 @default.
- W2891547273 hasOpenAccess W2891547273 @default.
- W2891547273 hasPrimaryLocation W28915472731 @default.
- W2891547273 hasRelatedWork W1987931249 @default.
- W2891547273 hasRelatedWork W2074569934 @default.
- W2891547273 hasRelatedWork W2119047859 @default.
- W2891547273 hasRelatedWork W2321634318 @default.
- W2891547273 hasRelatedWork W2332203959 @default.
- W2891547273 hasRelatedWork W2567026640 @default.
- W2891547273 hasRelatedWork W2903037595 @default.
- W2891547273 hasRelatedWork W2904828609 @default.
- W2891547273 hasRelatedWork W4230623537 @default.
- W2891547273 hasRelatedWork W4250879966 @default.
- W2891547273 hasVolume "363" @default.
- W2891547273 isParatext "false" @default.
- W2891547273 isRetracted "false" @default.
- W2891547273 magId "2891547273" @default.
- W2891547273 workType "article" @default.