Matches in SemOpenAlex for { <https://semopenalex.org/work/W169175576> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W169175576 endingPage "182" @default.
- W169175576 startingPage "159" @default.
- W169175576 abstract "In the paper, we generalise the well-known hyperresolution principle to the standard first-order Godel logic. Our approach is based on the translation of a formula of Godel logic to an equivalent satisfiable finite order clausal theory, consisting of order clauses. We introduce a notion of quantified atom: a formula a is a quantified atom iff a = Q x p(t 0,…,t τ ) where Q is a quantifier (∀, ∃); p(t 0,…,t τ ) is an atom; x is a variable occurring in p(t 0,…,t τ ); for all i ≤ τ, either t i = x or x does not occur in t i . Then an order clause is a finite set of order literals of the form e 1 ⋄ e 2 where e i is either an atom or a quantified atom, and ⋄ is a connective either (eqcirc ) or ≺. (eqcirc ) and ≺ are interpreted by the equality and strict linear order on [0,1], respectively. For an input theory of Godel logic, the proposed translation produces a so-called admissible order clausal theory. On the basis of the hyperresolution principle, a calculus operating over admissible order clausal theories, is devised. The calculus is proved to be refutation sound and complete for the countable case." @default.
- W169175576 created "2016-06-24" @default.
- W169175576 creator A5083703034 @default.
- W169175576 date "2015-01-01" @default.
- W169175576 modified "2023-09-24" @default.
- W169175576 title "A Generalisation of the Hyperresolution Principle to First Order Gödel Logic" @default.
- W169175576 cites W1546296649 @default.
- W169175576 cites W1605633286 @default.
- W169175576 cites W1674218127 @default.
- W169175576 cites W1978050007 @default.
- W169175576 cites W1996010294 @default.
- W169175576 cites W1999997889 @default.
- W169175576 cites W201187368 @default.
- W169175576 cites W2027752737 @default.
- W169175576 cites W2037085273 @default.
- W169175576 cites W2037330115 @default.
- W169175576 cites W2121727264 @default.
- W169175576 doi "https://doi.org/10.1007/978-3-319-11271-8_11" @default.
- W169175576 hasPublicationYear "2015" @default.
- W169175576 type Work @default.
- W169175576 sameAs 169175576 @default.
- W169175576 citedByCount "1" @default.
- W169175576 countsByYear W1691755762015 @default.
- W169175576 crossrefType "book-chapter" @default.
- W169175576 hasAuthorship W169175576A5083703034 @default.
- W169175576 hasConcept C10138342 @default.
- W169175576 hasConcept C111472728 @default.
- W169175576 hasConcept C138885662 @default.
- W169175576 hasConcept C162324750 @default.
- W169175576 hasConcept C182306322 @default.
- W169175576 hasConcept C199343813 @default.
- W169175576 hasConcept C2777686260 @default.
- W169175576 hasConcept C33923547 @default.
- W169175576 hasConcept C41008148 @default.
- W169175576 hasConcept C71924100 @default.
- W169175576 hasConceptScore W169175576C10138342 @default.
- W169175576 hasConceptScore W169175576C111472728 @default.
- W169175576 hasConceptScore W169175576C138885662 @default.
- W169175576 hasConceptScore W169175576C162324750 @default.
- W169175576 hasConceptScore W169175576C182306322 @default.
- W169175576 hasConceptScore W169175576C199343813 @default.
- W169175576 hasConceptScore W169175576C2777686260 @default.
- W169175576 hasConceptScore W169175576C33923547 @default.
- W169175576 hasConceptScore W169175576C41008148 @default.
- W169175576 hasConceptScore W169175576C71924100 @default.
- W169175576 hasLocation W1691755761 @default.
- W169175576 hasOpenAccess W169175576 @default.
- W169175576 hasPrimaryLocation W1691755761 @default.
- W169175576 hasRelatedWork W1987346758 @default.
- W169175576 hasRelatedWork W2054384926 @default.
- W169175576 hasRelatedWork W2070051673 @default.
- W169175576 hasRelatedWork W2070720935 @default.
- W169175576 hasRelatedWork W2118359714 @default.
- W169175576 hasRelatedWork W2132997838 @default.
- W169175576 hasRelatedWork W2562957045 @default.
- W169175576 hasRelatedWork W2748952813 @default.
- W169175576 hasRelatedWork W2755678161 @default.
- W169175576 hasRelatedWork W2899084033 @default.
- W169175576 isParatext "false" @default.
- W169175576 isRetracted "false" @default.
- W169175576 magId "169175576" @default.
- W169175576 workType "book-chapter" @default.