Matches in SemOpenAlex for { <https://semopenalex.org/work/W2397682046> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2397682046 endingPage "546" @default.
- W2397682046 startingPage "521" @default.
- W2397682046 abstract "In the field of automatic proving, the study of the sets of prime implicants or implicates of a formula has proven to be very important [17, 19, 20, 21]. If we focus on non-classical logics and, in particular, on temporal logics, such study is useful even if it is restricted to the set of unitary implicants/implicates [3, 4, 5, 6]. In this paper, a new concept we call restricted ideal/filter is introduced, it is proved that the set of restricted ideals/filters with the relation of inclusion has lattice structure and its utility for the efficient manipulation of the set of unitary implicants/implicates of formulas in propositional temporal logics is shown. We introduce a new property for subsets of lattices, which we call groupability, and we prove that the existence of groupable subsets in a lattice allows us to express restricted ideals/filters as the inductive closure for a binary non-deterministic operator and, consequently, the presence of this property guarantees a proper computational behavior of the set of unitary implicants/implicates." @default.
- W2397682046 created "2016-06-24" @default.
- W2397682046 creator A5008407370 @default.
- W2397682046 creator A5021844036 @default.
- W2397682046 creator A5089231763 @default.
- W2397682046 creator A5090672253 @default.
- W2397682046 date "2003-01-01" @default.
- W2397682046 modified "2023-09-26" @default.
- W2397682046 title "Restricted ideals and the groupability property. Tools for temporal reasoning" @default.
- W2397682046 hasPublicationYear "2003" @default.
- W2397682046 type Work @default.
- W2397682046 sameAs 2397682046 @default.
- W2397682046 citedByCount "2" @default.
- W2397682046 crossrefType "journal-article" @default.
- W2397682046 hasAuthorship W2397682046A5008407370 @default.
- W2397682046 hasAuthorship W2397682046A5021844036 @default.
- W2397682046 hasAuthorship W2397682046A5089231763 @default.
- W2397682046 hasAuthorship W2397682046A5090672253 @default.
- W2397682046 hasConcept C102487863 @default.
- W2397682046 hasConcept C111472728 @default.
- W2397682046 hasConcept C11413529 @default.
- W2397682046 hasConcept C118615104 @default.
- W2397682046 hasConcept C121332964 @default.
- W2397682046 hasConcept C138885662 @default.
- W2397682046 hasConcept C146834321 @default.
- W2397682046 hasConcept C158465420 @default.
- W2397682046 hasConcept C162324750 @default.
- W2397682046 hasConcept C177264268 @default.
- W2397682046 hasConcept C17744445 @default.
- W2397682046 hasConcept C183992945 @default.
- W2397682046 hasConcept C187455244 @default.
- W2397682046 hasConcept C189950617 @default.
- W2397682046 hasConcept C199360897 @default.
- W2397682046 hasConcept C199539241 @default.
- W2397682046 hasConcept C201640847 @default.
- W2397682046 hasConcept C2776639384 @default.
- W2397682046 hasConcept C33923547 @default.
- W2397682046 hasConcept C34447519 @default.
- W2397682046 hasConcept C41008148 @default.
- W2397682046 hasConcept C62520636 @default.
- W2397682046 hasConcept C65180967 @default.
- W2397682046 hasConcept C67820243 @default.
- W2397682046 hasConcept C80444323 @default.
- W2397682046 hasConceptScore W2397682046C102487863 @default.
- W2397682046 hasConceptScore W2397682046C111472728 @default.
- W2397682046 hasConceptScore W2397682046C11413529 @default.
- W2397682046 hasConceptScore W2397682046C118615104 @default.
- W2397682046 hasConceptScore W2397682046C121332964 @default.
- W2397682046 hasConceptScore W2397682046C138885662 @default.
- W2397682046 hasConceptScore W2397682046C146834321 @default.
- W2397682046 hasConceptScore W2397682046C158465420 @default.
- W2397682046 hasConceptScore W2397682046C162324750 @default.
- W2397682046 hasConceptScore W2397682046C177264268 @default.
- W2397682046 hasConceptScore W2397682046C17744445 @default.
- W2397682046 hasConceptScore W2397682046C183992945 @default.
- W2397682046 hasConceptScore W2397682046C187455244 @default.
- W2397682046 hasConceptScore W2397682046C189950617 @default.
- W2397682046 hasConceptScore W2397682046C199360897 @default.
- W2397682046 hasConceptScore W2397682046C199539241 @default.
- W2397682046 hasConceptScore W2397682046C201640847 @default.
- W2397682046 hasConceptScore W2397682046C2776639384 @default.
- W2397682046 hasConceptScore W2397682046C33923547 @default.
- W2397682046 hasConceptScore W2397682046C34447519 @default.
- W2397682046 hasConceptScore W2397682046C41008148 @default.
- W2397682046 hasConceptScore W2397682046C62520636 @default.
- W2397682046 hasConceptScore W2397682046C65180967 @default.
- W2397682046 hasConceptScore W2397682046C67820243 @default.
- W2397682046 hasConceptScore W2397682046C80444323 @default.
- W2397682046 hasIssue "5" @default.
- W2397682046 hasLocation W23976820461 @default.
- W2397682046 hasOpenAccess W2397682046 @default.
- W2397682046 hasPrimaryLocation W23976820461 @default.
- W2397682046 hasRelatedWork W1497977241 @default.
- W2397682046 hasRelatedWork W1504817594 @default.
- W2397682046 hasRelatedWork W1541611137 @default.
- W2397682046 hasRelatedWork W1584440213 @default.
- W2397682046 hasRelatedWork W1701701809 @default.
- W2397682046 hasRelatedWork W1964191518 @default.
- W2397682046 hasRelatedWork W1983718305 @default.
- W2397682046 hasRelatedWork W1993035157 @default.
- W2397682046 hasRelatedWork W2001195152 @default.
- W2397682046 hasRelatedWork W2005038809 @default.
- W2397682046 hasRelatedWork W2018110053 @default.
- W2397682046 hasRelatedWork W2068312745 @default.
- W2397682046 hasRelatedWork W2098464720 @default.
- W2397682046 hasRelatedWork W2108552370 @default.
- W2397682046 hasRelatedWork W2115620568 @default.
- W2397682046 hasRelatedWork W2140022586 @default.
- W2397682046 hasRelatedWork W2152261259 @default.
- W2397682046 hasRelatedWork W2179516467 @default.
- W2397682046 hasRelatedWork W2374634705 @default.
- W2397682046 hasRelatedWork W1516689377 @default.
- W2397682046 hasVolume "39" @default.
- W2397682046 isParatext "false" @default.
- W2397682046 isRetracted "false" @default.
- W2397682046 magId "2397682046" @default.
- W2397682046 workType "article" @default.