Matches in SemOpenAlex for { <https://semopenalex.org/work/W2324313918> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2324313918 abstract "We study the non-Fregean propositional logic with propositional quantifiers, denoted by SCIQ. We prove that SCIQ does not have the finite model property and that it is undecidable. We also present examples of how to interpret in SCIQ various mathematical theories, such as the theory of groups, rings, and fields, and we characterize the spectra of SCIQ-sentences. Finally, we present a translation of SCIQ into a classical two-sorted first-order logic, and we use the translation to prove some model-theoretic properties of SCIQ." @default.
- W2324313918 created "2016-06-24" @default.
- W2324313918 creator A5041193641 @default.
- W2324313918 creator A5055824829 @default.
- W2324313918 date "2016-01-01" @default.
- W2324313918 modified "2023-09-25" @default.
- W2324313918 title "Non-Fregean Propositional Logic with Quantifiers" @default.
- W2324313918 cites W1973517051 @default.
- W2324313918 cites W197729581 @default.
- W2324313918 cites W2001005850 @default.
- W2324313918 cites W2005483858 @default.
- W2324313918 cites W2021340587 @default.
- W2324313918 cites W2030080748 @default.
- W2324313918 cites W2044819329 @default.
- W2324313918 doi "https://doi.org/10.1215/00294527-3470547" @default.
- W2324313918 hasPublicationYear "2016" @default.
- W2324313918 type Work @default.
- W2324313918 sameAs 2324313918 @default.
- W2324313918 citedByCount "3" @default.
- W2324313918 countsByYear W23243139182019 @default.
- W2324313918 countsByYear W23243139182021 @default.
- W2324313918 countsByYear W23243139182022 @default.
- W2324313918 crossrefType "journal-article" @default.
- W2324313918 hasAuthorship W2324313918A5041193641 @default.
- W2324313918 hasAuthorship W2324313918A5055824829 @default.
- W2324313918 hasBestOaLocation W23243139182 @default.
- W2324313918 hasConcept C102993220 @default.
- W2324313918 hasConcept C110039528 @default.
- W2324313918 hasConcept C118615104 @default.
- W2324313918 hasConcept C14523651 @default.
- W2324313918 hasConcept C153269930 @default.
- W2324313918 hasConcept C154945302 @default.
- W2324313918 hasConcept C191222856 @default.
- W2324313918 hasConcept C192034797 @default.
- W2324313918 hasConcept C203659156 @default.
- W2324313918 hasConcept C33203268 @default.
- W2324313918 hasConcept C33923547 @default.
- W2324313918 hasConcept C3845977 @default.
- W2324313918 hasConcept C41008148 @default.
- W2324313918 hasConcept C69562738 @default.
- W2324313918 hasConcept C74640108 @default.
- W2324313918 hasConceptScore W2324313918C102993220 @default.
- W2324313918 hasConceptScore W2324313918C110039528 @default.
- W2324313918 hasConceptScore W2324313918C118615104 @default.
- W2324313918 hasConceptScore W2324313918C14523651 @default.
- W2324313918 hasConceptScore W2324313918C153269930 @default.
- W2324313918 hasConceptScore W2324313918C154945302 @default.
- W2324313918 hasConceptScore W2324313918C191222856 @default.
- W2324313918 hasConceptScore W2324313918C192034797 @default.
- W2324313918 hasConceptScore W2324313918C203659156 @default.
- W2324313918 hasConceptScore W2324313918C33203268 @default.
- W2324313918 hasConceptScore W2324313918C33923547 @default.
- W2324313918 hasConceptScore W2324313918C3845977 @default.
- W2324313918 hasConceptScore W2324313918C41008148 @default.
- W2324313918 hasConceptScore W2324313918C69562738 @default.
- W2324313918 hasConceptScore W2324313918C74640108 @default.
- W2324313918 hasIssue "2" @default.
- W2324313918 hasLocation W23243139181 @default.
- W2324313918 hasLocation W23243139182 @default.
- W2324313918 hasOpenAccess W2324313918 @default.
- W2324313918 hasPrimaryLocation W23243139181 @default.
- W2324313918 hasRelatedWork W1549628945 @default.
- W2324313918 hasRelatedWork W1566971848 @default.
- W2324313918 hasRelatedWork W2025952124 @default.
- W2324313918 hasRelatedWork W2081976468 @default.
- W2324313918 hasRelatedWork W2115149198 @default.
- W2324313918 hasRelatedWork W2129318326 @default.
- W2324313918 hasRelatedWork W2152087710 @default.
- W2324313918 hasRelatedWork W2283591084 @default.
- W2324313918 hasRelatedWork W2854265396 @default.
- W2324313918 hasRelatedWork W2952337775 @default.
- W2324313918 hasVolume "57" @default.
- W2324313918 isParatext "false" @default.
- W2324313918 isRetracted "false" @default.
- W2324313918 magId "2324313918" @default.
- W2324313918 workType "article" @default.