Matches in SemOpenAlex for { <https://semopenalex.org/work/W2092805217> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2092805217 endingPage "402" @default.
- W2092805217 startingPage "381" @default.
- W2092805217 abstract "In this paper, systems of natural deduction are described in which the usually cumbersome quantifier rules (∀-introduction and ∃-elimination) are replaced by somewhat more convenient ones. These systems have deducibility from a set of assumption formulas as a primitive notion which is shown to have the compactness property. They are equivalent to the system obtained from a logistic system of Kleene by excluding variation of variables, admit the usual subsystems, have some separation properties for logical operators and, together with Kleene's system under exclusion of variation of variables, are complete with respect to logical consequence." @default.
- W2092805217 created "2016-06-24" @default.
- W2092805217 creator A5032946689 @default.
- W2092805217 date "1969-10-01" @default.
- W2092805217 modified "2023-10-14" @default.
- W2092805217 title "Natural deduction with few restrictions on variables" @default.
- W2092805217 cites W1483568252 @default.
- W2092805217 cites W1973746838 @default.
- W2092805217 cites W1984820433 @default.
- W2092805217 cites W2039977878 @default.
- W2092805217 cites W2055950262 @default.
- W2092805217 cites W2062320451 @default.
- W2092805217 cites W2074025367 @default.
- W2092805217 cites W2075103300 @default.
- W2092805217 cites W2147654807 @default.
- W2092805217 cites W2171987988 @default.
- W2092805217 cites W2329728434 @default.
- W2092805217 cites W2949436104 @default.
- W2092805217 cites W2110488689 @default.
- W2092805217 doi "https://doi.org/10.1016/0020-0255(69)90023-1" @default.
- W2092805217 hasPublicationYear "1969" @default.
- W2092805217 type Work @default.
- W2092805217 sameAs 2092805217 @default.
- W2092805217 citedByCount "0" @default.
- W2092805217 crossrefType "journal-article" @default.
- W2092805217 hasAuthorship W2092805217A5032946689 @default.
- W2092805217 hasConcept C111472728 @default.
- W2092805217 hasConcept C118615104 @default.
- W2092805217 hasConcept C121332964 @default.
- W2092805217 hasConcept C134306372 @default.
- W2092805217 hasConcept C138885662 @default.
- W2092805217 hasConcept C154945302 @default.
- W2092805217 hasConcept C177264268 @default.
- W2092805217 hasConcept C182365436 @default.
- W2092805217 hasConcept C184264201 @default.
- W2092805217 hasConcept C18648836 @default.
- W2092805217 hasConcept C189950617 @default.
- W2092805217 hasConcept C199360897 @default.
- W2092805217 hasConcept C202444582 @default.
- W2092805217 hasConcept C2778334786 @default.
- W2092805217 hasConcept C2778523021 @default.
- W2092805217 hasConcept C33923547 @default.
- W2092805217 hasConcept C41008148 @default.
- W2092805217 hasConcept C44870925 @default.
- W2092805217 hasConcept C62073222 @default.
- W2092805217 hasConcept C72169020 @default.
- W2092805217 hasConceptScore W2092805217C111472728 @default.
- W2092805217 hasConceptScore W2092805217C118615104 @default.
- W2092805217 hasConceptScore W2092805217C121332964 @default.
- W2092805217 hasConceptScore W2092805217C134306372 @default.
- W2092805217 hasConceptScore W2092805217C138885662 @default.
- W2092805217 hasConceptScore W2092805217C154945302 @default.
- W2092805217 hasConceptScore W2092805217C177264268 @default.
- W2092805217 hasConceptScore W2092805217C182365436 @default.
- W2092805217 hasConceptScore W2092805217C184264201 @default.
- W2092805217 hasConceptScore W2092805217C18648836 @default.
- W2092805217 hasConceptScore W2092805217C189950617 @default.
- W2092805217 hasConceptScore W2092805217C199360897 @default.
- W2092805217 hasConceptScore W2092805217C202444582 @default.
- W2092805217 hasConceptScore W2092805217C2778334786 @default.
- W2092805217 hasConceptScore W2092805217C2778523021 @default.
- W2092805217 hasConceptScore W2092805217C33923547 @default.
- W2092805217 hasConceptScore W2092805217C41008148 @default.
- W2092805217 hasConceptScore W2092805217C44870925 @default.
- W2092805217 hasConceptScore W2092805217C62073222 @default.
- W2092805217 hasConceptScore W2092805217C72169020 @default.
- W2092805217 hasIssue "4" @default.
- W2092805217 hasLocation W20928052171 @default.
- W2092805217 hasOpenAccess W2092805217 @default.
- W2092805217 hasPrimaryLocation W20928052171 @default.
- W2092805217 hasRelatedWork W145390965 @default.
- W2092805217 hasRelatedWork W1883833842 @default.
- W2092805217 hasRelatedWork W2002747303 @default.
- W2092805217 hasRelatedWork W2016442240 @default.
- W2092805217 hasRelatedWork W2092805217 @default.
- W2092805217 hasRelatedWork W2143927535 @default.
- W2092805217 hasRelatedWork W285605535 @default.
- W2092805217 hasRelatedWork W3104689550 @default.
- W2092805217 hasRelatedWork W3134656815 @default.
- W2092805217 hasRelatedWork W3210115939 @default.
- W2092805217 hasVolume "1" @default.
- W2092805217 isParatext "false" @default.
- W2092805217 isRetracted "false" @default.
- W2092805217 magId "2092805217" @default.
- W2092805217 workType "article" @default.