Matches in SemOpenAlex for { <https://semopenalex.org/work/W1978050007> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1978050007 endingPage "927" @default.
- W1978050007 startingPage "905" @default.
- W1978050007 abstract "New applications for many-valued theorem proving in various subfields, for example in the theory of error-correcting codes, in non-monotonic reasoning, and in formal software and hardware verification, demand efficient automatic proof procedures for many-valued logics. Many successful theorem-proving methods in two-valued logic, notably resolution, presume the existence of a conjunctive normal form (CNF). We present a general satisfiability preserving transformation of formulae from arbitrary finitely valued logics into a CNF which is based on signed atomic formulae. The transformation is always linear with respect to the length of the input, and we define a generalized concept of polarity in order to avoid the generation of redundant clauses. The transformation rules are based on the concept of ‘sets-as-signs’ developed earlier by the author in the context of tableau-based deduction in many-valued logics. We discuss several possible resolution rules that operate on the signed CNF including a streamlined version for so-called regular logics, a class of finitely valued logics defined earlier by the author. We compare our work to related approaches to many-valued resolution, and argue that our approach is computationally more efficient." @default.
- W1978050007 created "2016-06-24" @default.
- W1978050007 creator A5084143460 @default.
- W1978050007 date "1994-01-01" @default.
- W1978050007 modified "2023-10-16" @default.
- W1978050007 title "Short Conjunctive Normal Forms in Finitely Valued Logics" @default.
- W1978050007 doi "https://doi.org/10.1093/logcom/4.6.905" @default.
- W1978050007 hasPublicationYear "1994" @default.
- W1978050007 type Work @default.
- W1978050007 sameAs 1978050007 @default.
- W1978050007 citedByCount "63" @default.
- W1978050007 countsByYear W19780500072012 @default.
- W1978050007 countsByYear W19780500072013 @default.
- W1978050007 countsByYear W19780500072015 @default.
- W1978050007 countsByYear W19780500072016 @default.
- W1978050007 countsByYear W19780500072018 @default.
- W1978050007 countsByYear W19780500072019 @default.
- W1978050007 countsByYear W19780500072022 @default.
- W1978050007 countsByYear W19780500072023 @default.
- W1978050007 crossrefType "journal-article" @default.
- W1978050007 hasAuthorship W1978050007A5084143460 @default.
- W1978050007 hasConcept C104317684 @default.
- W1978050007 hasConcept C11413529 @default.
- W1978050007 hasConcept C118615104 @default.
- W1978050007 hasConcept C136119220 @default.
- W1978050007 hasConcept C138268822 @default.
- W1978050007 hasConcept C151730666 @default.
- W1978050007 hasConcept C154945302 @default.
- W1978050007 hasConcept C16221470 @default.
- W1978050007 hasConcept C168773769 @default.
- W1978050007 hasConcept C185592680 @default.
- W1978050007 hasConcept C199360897 @default.
- W1978050007 hasConcept C202444582 @default.
- W1978050007 hasConcept C204241405 @default.
- W1978050007 hasConcept C206880738 @default.
- W1978050007 hasConcept C2777212361 @default.
- W1978050007 hasConcept C2779343474 @default.
- W1978050007 hasConcept C33923547 @default.
- W1978050007 hasConcept C41008148 @default.
- W1978050007 hasConcept C42011625 @default.
- W1978050007 hasConcept C5263885 @default.
- W1978050007 hasConcept C55493867 @default.
- W1978050007 hasConcept C58166 @default.
- W1978050007 hasConcept C80444323 @default.
- W1978050007 hasConcept C86602344 @default.
- W1978050007 hasConcept C86803240 @default.
- W1978050007 hasConceptScore W1978050007C104317684 @default.
- W1978050007 hasConceptScore W1978050007C11413529 @default.
- W1978050007 hasConceptScore W1978050007C118615104 @default.
- W1978050007 hasConceptScore W1978050007C136119220 @default.
- W1978050007 hasConceptScore W1978050007C138268822 @default.
- W1978050007 hasConceptScore W1978050007C151730666 @default.
- W1978050007 hasConceptScore W1978050007C154945302 @default.
- W1978050007 hasConceptScore W1978050007C16221470 @default.
- W1978050007 hasConceptScore W1978050007C168773769 @default.
- W1978050007 hasConceptScore W1978050007C185592680 @default.
- W1978050007 hasConceptScore W1978050007C199360897 @default.
- W1978050007 hasConceptScore W1978050007C202444582 @default.
- W1978050007 hasConceptScore W1978050007C204241405 @default.
- W1978050007 hasConceptScore W1978050007C206880738 @default.
- W1978050007 hasConceptScore W1978050007C2777212361 @default.
- W1978050007 hasConceptScore W1978050007C2779343474 @default.
- W1978050007 hasConceptScore W1978050007C33923547 @default.
- W1978050007 hasConceptScore W1978050007C41008148 @default.
- W1978050007 hasConceptScore W1978050007C42011625 @default.
- W1978050007 hasConceptScore W1978050007C5263885 @default.
- W1978050007 hasConceptScore W1978050007C55493867 @default.
- W1978050007 hasConceptScore W1978050007C58166 @default.
- W1978050007 hasConceptScore W1978050007C80444323 @default.
- W1978050007 hasConceptScore W1978050007C86602344 @default.
- W1978050007 hasConceptScore W1978050007C86803240 @default.
- W1978050007 hasIssue "6" @default.
- W1978050007 hasLocation W19780500071 @default.
- W1978050007 hasOpenAccess W1978050007 @default.
- W1978050007 hasPrimaryLocation W19780500071 @default.
- W1978050007 hasRelatedWork W135825136 @default.
- W1978050007 hasRelatedWork W1492881020 @default.
- W1978050007 hasRelatedWork W1978050007 @default.
- W1978050007 hasRelatedWork W2002664794 @default.
- W1978050007 hasRelatedWork W2025712536 @default.
- W1978050007 hasRelatedWork W2052519470 @default.
- W1978050007 hasRelatedWork W2149441048 @default.
- W1978050007 hasRelatedWork W3097893064 @default.
- W1978050007 hasRelatedWork W3197460812 @default.
- W1978050007 hasRelatedWork W39832950 @default.
- W1978050007 hasVolume "4" @default.
- W1978050007 isParatext "false" @default.
- W1978050007 isRetracted "false" @default.
- W1978050007 magId "1978050007" @default.
- W1978050007 workType "article" @default.