FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2904547520> ?p ?o ?g. }

• W2904547520 endingPage "29" @default.
• W2904547520 startingPage "1" @default.
• W2904547520 abstract "Abstract In this paper, I motivate a cut free sequent calculus for classical logic with first order quantification, allowing for singular terms free of existential import. Along the way, I motivate a criterion for rules designed to answer Prior’s question about what distinguishes rules for logical concepts, like conjunction from apparently similar rules for putative concepts like Prior’s tonk , and I show that the rules for the quantifiers—and the existence predicate—satisfy that condition." @default.
• W2904547520 created "2018-12-22" @default.
• W2904547520 creator A5009371587 @default.
• W2904547520 date "2018-12-18" @default.
• W2904547520 modified "2023-09-26" @default.
• W2904547520 title "GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC" @default.
• W2904547520 cites W1551308710 @default.
• W2904547520 cites W1986532158 @default.
• W2904547520 cites W1987839131 @default.
• W2904547520 cites W1994582078 @default.
• W2904547520 cites W2000548819 @default.
• W2904547520 cites W2007013614 @default.
• W2904547520 cites W2056818739 @default.
• W2904547520 cites W2067172985 @default.
• W2904547520 cites W2070877511 @default.
• W2904547520 cites W2126414330 @default.
• W2904547520 cites W2149122857 @default.
• W2904547520 cites W2182414126 @default.
• W2904547520 cites W4237150514 @default.
• W2904547520 doi "https://doi.org/10.1017/s175502031800031x" @default.
• W2904547520 hasPublicationYear "2018" @default.
• W2904547520 type Work @default.
• W2904547520 sameAs 2904547520 @default.
• W2904547520 citedByCount "5" @default.
• W2904547520 countsByYear W29045475202021 @default.
• W2904547520 countsByYear W29045475202022 @default.
• W2904547520 crossrefType "journal-article" @default.
• W2904547520 hasAuthorship W2904547520A5009371587 @default.
• W2904547520 hasConcept C100481476 @default.
• W2904547520 hasConcept C102993220 @default.
• W2904547520 hasConcept C108710211 @default.
• W2904547520 hasConcept C11413529 @default.
• W2904547520 hasConcept C118615104 @default.
• W2904547520 hasConcept C121332964 @default.
• W2904547520 hasConcept C1276947 @default.
• W2904547520 hasConcept C134752490 @default.
• W2904547520 hasConcept C140146324 @default.
• W2904547520 hasConcept C144237770 @default.
• W2904547520 hasConcept C154945302 @default.
• W2904547520 hasConcept C15744967 @default.
• W2904547520 hasConcept C19689857 @default.
• W2904547520 hasConcept C199343813 @default.
• W2904547520 hasConcept C199360897 @default.
• W2904547520 hasConcept C2524010 @default.
• W2904547520 hasConcept C2777686260 @default.
• W2904547520 hasConcept C2780767217 @default.
• W2904547520 hasConcept C32241873 @default.
• W2904547520 hasConcept C33923547 @default.
• W2904547520 hasConcept C41008148 @default.
• W2904547520 hasConcept C542102704 @default.
• W2904547520 hasConcept C59656382 @default.
• W2904547520 hasConcept C62073222 @default.
• W2904547520 hasConcept C65880906 @default.
• W2904547520 hasConcept C71924100 @default.
• W2904547520 hasConcept C89421646 @default.
• W2904547520 hasConceptScore W2904547520C100481476 @default.
• W2904547520 hasConceptScore W2904547520C102993220 @default.
• W2904547520 hasConceptScore W2904547520C108710211 @default.
• W2904547520 hasConceptScore W2904547520C11413529 @default.
• W2904547520 hasConceptScore W2904547520C118615104 @default.
• W2904547520 hasConceptScore W2904547520C121332964 @default.
• W2904547520 hasConceptScore W2904547520C1276947 @default.
• W2904547520 hasConceptScore W2904547520C134752490 @default.
• W2904547520 hasConceptScore W2904547520C140146324 @default.
• W2904547520 hasConceptScore W2904547520C144237770 @default.
• W2904547520 hasConceptScore W2904547520C154945302 @default.
• W2904547520 hasConceptScore W2904547520C15744967 @default.
• W2904547520 hasConceptScore W2904547520C19689857 @default.
• W2904547520 hasConceptScore W2904547520C199343813 @default.
• W2904547520 hasConceptScore W2904547520C199360897 @default.
• W2904547520 hasConceptScore W2904547520C2524010 @default.
• W2904547520 hasConceptScore W2904547520C2777686260 @default.
• W2904547520 hasConceptScore W2904547520C2780767217 @default.
• W2904547520 hasConceptScore W2904547520C32241873 @default.
• W2904547520 hasConceptScore W2904547520C33923547 @default.
• W2904547520 hasConceptScore W2904547520C41008148 @default.
• W2904547520 hasConceptScore W2904547520C542102704 @default.
• W2904547520 hasConceptScore W2904547520C59656382 @default.
• W2904547520 hasConceptScore W2904547520C62073222 @default.
• W2904547520 hasConceptScore W2904547520C65880906 @default.
• W2904547520 hasConceptScore W2904547520C71924100 @default.
• W2904547520 hasConceptScore W2904547520C89421646 @default.
• W2904547520 hasIssue "1" @default.
• W2904547520 hasLocation W29045475201 @default.
• W2904547520 hasOpenAccess W2904547520 @default.
• W2904547520 hasPrimaryLocation W29045475201 @default.
• W2904547520 hasRelatedWork W1580176494 @default.
• W2904547520 hasRelatedWork W2001450574 @default.
• W2904547520 hasRelatedWork W2057599103 @default.
• W2904547520 hasRelatedWork W2095441824 @default.
• W2904547520 hasRelatedWork W2099918555 @default.
• W2904547520 hasRelatedWork W2355223762 @default.
• W2904547520 hasRelatedWork W2904547520 @default.
• W2904547520 hasRelatedWork W3015761148 @default.
• W2904547520 hasRelatedWork W4229613077 @default.
• W2904547520 hasRelatedWork W1831514695 @default.
• W2904547520 hasVolume "12" @default.
• W2904547520 isParatext "false" @default.

• next