Matches in SemOpenAlex for { <https://semopenalex.org/work/W1991569596> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1991569596 endingPage "518" @default.
- W1991569596 startingPage "509" @default.
- W1991569596 abstract "In this paper we show the finite controllability of the Maslov class of formulas of pure quantification theory (specified immediately below). That is, we show that every formula in the class has a finite model if it has a model at all. A signed atomic formula is an atomic formula or the negation of one; a binary disjunction is a disjunction of the form A 1 ⋁ A 2 , where A 1 and A 2 are signed atomic formulas; and a formula is Krom if it is a conjunction of binary disjunctions. Finally, a prenex formula is Maslov if its prefix is ∃···∃∀···∀∃···∃ and its matrix is Krom. A number of decidability results have been obtained for formulas classified along these lines. It is a consequence of Theorems 1.7 and 2.5 of [4] that the following are reduction classes (for satisfiability): the class of Skolem formulas, that is, prenex formulas with prefixes ∀···∀∃···∃, whose matrices are conjunctions one conjunct of which is a ternary disjunction and the rest of which are binary disjunctions; and the class of Skolem formulas containing identity whose matrices are Krom. Moreover, the following results (for pure quantification theory, that is, without identity) are derived in [1] and [2]: the classes of prenex formulas with Krom matrices and prefixes ∃∀∃∀, or prefixes ∀∃∃∀, or prefixes ∀∃∀∀ are all reduction classes, while formulas with Krom matrices and prefixes ∀∃∀ comprise a decidable class. The latter class, however, is not finitely controllable, for it contains formulas satisfiable only over infinite universes. The Maslov class was shown decidable by Maslov in [11]." @default.
- W1991569596 created "2016-06-24" @default.
- W1991569596 creator A5032562524 @default.
- W1991569596 creator A5038375601 @default.
- W1991569596 date "1974-09-01" @default.
- W1991569596 modified "2023-10-13" @default.
- W1991569596 title "The finite controllability of the Maslov case " @default.
- W1991569596 cites W103919602 @default.
- W1991569596 cites W1570783318 @default.
- W1991569596 cites W1977939111 @default.
- W1991569596 cites W2007521205 @default.
- W1991569596 cites W2047082405 @default.
- W1991569596 cites W2162764642 @default.
- W1991569596 cites W2320758393 @default.
- W1991569596 cites W78720960 @default.
- W1991569596 cites W98589569 @default.
- W1991569596 doi "https://doi.org/10.2307/2272893" @default.
- W1991569596 hasPublicationYear "1974" @default.
- W1991569596 type Work @default.
- W1991569596 sameAs 1991569596 @default.
- W1991569596 citedByCount "1" @default.
- W1991569596 crossrefType "journal-article" @default.
- W1991569596 hasAuthorship W1991569596A5032562524 @default.
- W1991569596 hasAuthorship W1991569596A5038375601 @default.
- W1991569596 hasConcept C106487976 @default.
- W1991569596 hasConcept C111335779 @default.
- W1991569596 hasConcept C114614502 @default.
- W1991569596 hasConcept C118615104 @default.
- W1991569596 hasConcept C121332964 @default.
- W1991569596 hasConcept C134567657 @default.
- W1991569596 hasConcept C138885662 @default.
- W1991569596 hasConcept C141603448 @default.
- W1991569596 hasConcept C153269930 @default.
- W1991569596 hasConcept C154945302 @default.
- W1991569596 hasConcept C158693339 @default.
- W1991569596 hasConcept C159985019 @default.
- W1991569596 hasConcept C192562407 @default.
- W1991569596 hasConcept C202444582 @default.
- W1991569596 hasConcept C21308566 @default.
- W1991569596 hasConcept C24890656 @default.
- W1991569596 hasConcept C2524010 @default.
- W1991569596 hasConcept C2777212361 @default.
- W1991569596 hasConcept C2778355321 @default.
- W1991569596 hasConcept C28826006 @default.
- W1991569596 hasConcept C33923547 @default.
- W1991569596 hasConcept C41008148 @default.
- W1991569596 hasConcept C41895202 @default.
- W1991569596 hasConcept C48209547 @default.
- W1991569596 hasConcept C48372109 @default.
- W1991569596 hasConcept C62520636 @default.
- W1991569596 hasConcept C94375191 @default.
- W1991569596 hasConceptScore W1991569596C106487976 @default.
- W1991569596 hasConceptScore W1991569596C111335779 @default.
- W1991569596 hasConceptScore W1991569596C114614502 @default.
- W1991569596 hasConceptScore W1991569596C118615104 @default.
- W1991569596 hasConceptScore W1991569596C121332964 @default.
- W1991569596 hasConceptScore W1991569596C134567657 @default.
- W1991569596 hasConceptScore W1991569596C138885662 @default.
- W1991569596 hasConceptScore W1991569596C141603448 @default.
- W1991569596 hasConceptScore W1991569596C153269930 @default.
- W1991569596 hasConceptScore W1991569596C154945302 @default.
- W1991569596 hasConceptScore W1991569596C158693339 @default.
- W1991569596 hasConceptScore W1991569596C159985019 @default.
- W1991569596 hasConceptScore W1991569596C192562407 @default.
- W1991569596 hasConceptScore W1991569596C202444582 @default.
- W1991569596 hasConceptScore W1991569596C21308566 @default.
- W1991569596 hasConceptScore W1991569596C24890656 @default.
- W1991569596 hasConceptScore W1991569596C2524010 @default.
- W1991569596 hasConceptScore W1991569596C2777212361 @default.
- W1991569596 hasConceptScore W1991569596C2778355321 @default.
- W1991569596 hasConceptScore W1991569596C28826006 @default.
- W1991569596 hasConceptScore W1991569596C33923547 @default.
- W1991569596 hasConceptScore W1991569596C41008148 @default.
- W1991569596 hasConceptScore W1991569596C41895202 @default.
- W1991569596 hasConceptScore W1991569596C48209547 @default.
- W1991569596 hasConceptScore W1991569596C48372109 @default.
- W1991569596 hasConceptScore W1991569596C62520636 @default.
- W1991569596 hasConceptScore W1991569596C94375191 @default.
- W1991569596 hasIssue "03" @default.
- W1991569596 hasLocation W19915695961 @default.
- W1991569596 hasOpenAccess W1991569596 @default.
- W1991569596 hasPrimaryLocation W19915695961 @default.
- W1991569596 hasRelatedWork W1756920079 @default.
- W1991569596 hasRelatedWork W1995616578 @default.
- W1991569596 hasRelatedWork W2007735529 @default.
- W1991569596 hasRelatedWork W2025402252 @default.
- W1991569596 hasRelatedWork W2038749204 @default.
- W1991569596 hasRelatedWork W2381721600 @default.
- W1991569596 hasRelatedWork W2403171661 @default.
- W1991569596 hasRelatedWork W2803755952 @default.
- W1991569596 hasRelatedWork W2950660287 @default.
- W1991569596 hasRelatedWork W4300099012 @default.
- W1991569596 hasVolume "39" @default.
- W1991569596 isParatext "false" @default.
- W1991569596 isRetracted "false" @default.
- W1991569596 magId "1991569596" @default.
- W1991569596 workType "article" @default.