FRINK Linked Data Fragments server

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

• W2141029115 abstract "A discriminator logic is the 1-assertional logic of a discriminator variety V having two constant terms 0 and 1 such that V ⊨ 0 1 iff every member of V is trivial. Examples of such logics abound in the literature. The main result of this research announcement asserts that a certain non-Fregean deductive system SBPC, which closely resembles the classical propositional calculus, is canonical for the class of discriminator logics in the sense that any discriminator logic S can be presented (up to definitional equivalence) as an axiomatic extension of SBPC by a set of extensional logical connectives taken from the language of S. The results outlined in this research announcement are extended to several generalisations of the class of discriminator logics in the main work." @default.
• W2141029115 created "2016-06-24" @default.
• W2141029115 creator A5062629393 @default.
• W2141029115 creator A5088984288 @default.
• W2141029115 creator A5090320441 @default.
• W2141029115 date "2014-11-11" @default.
• W2141029115 modified "2023-09-27" @default.
• W2141029115 title "Discriminator logics (Research announcement)" @default.
• W2141029115 cites W1033133565 @default.
• W2141029115 cites W1541365419 @default.
• W2141029115 cites W1599991857 @default.
• W2141029115 cites W1712039944 @default.
• W2141029115 cites W1965682580 @default.
• W2141029115 cites W1968850729 @default.
• W2141029115 cites W1970495662 @default.
• W2141029115 cites W1974025796 @default.
• W2141029115 cites W1996058280 @default.
• W2141029115 cites W2000140686 @default.
• W2141029115 cites W2002127544 @default.
• W2141029115 cites W2009995082 @default.
• W2141029115 cites W2018277356 @default.
• W2141029115 cites W2023648368 @default.
• W2141029115 cites W2039426105 @default.
• W2141029115 cites W2042786417 @default.
• W2141029115 cites W2061476524 @default.
• W2141029115 cites W2070060053 @default.
• W2141029115 cites W2110182592 @default.
• W2141029115 cites W2165781359 @default.
• W2141029115 cites W2170705465 @default.
• W2141029115 cites W2402798281 @default.
• W2141029115 cites W52184374 @default.
• W2141029115 cites W564398415 @default.
• W2141029115 doi "https://doi.org/10.26686/ajl.v11i2.2020" @default.
• W2141029115 hasPublicationYear "2014" @default.
• W2141029115 type Work @default.
• W2141029115 sameAs 2141029115 @default.
• W2141029115 citedByCount "3" @default.
• W2141029115 countsByYear W21410291152015 @default.
• W2141029115 countsByYear W21410291152016 @default.
• W2141029115 countsByYear W21410291152018 @default.
• W2141029115 crossrefType "journal-article" @default.
• W2141029115 hasAuthorship W2141029115A5062629393 @default.
• W2141029115 hasAuthorship W2141029115A5088984288 @default.
• W2141029115 hasAuthorship W2141029115A5090320441 @default.
• W2141029115 hasBestOaLocation W21410291151 @default.
• W2141029115 hasConcept C118615104 @default.
• W2141029115 hasConcept C136119220 @default.
• W2141029115 hasConcept C136137745 @default.
• W2141029115 hasConcept C136197465 @default.
• W2141029115 hasConcept C151730666 @default.
• W2141029115 hasConcept C154945302 @default.
• W2141029115 hasConcept C167729594 @default.
• W2141029115 hasConcept C177264268 @default.
• W2141029115 hasConcept C199343813 @default.
• W2141029115 hasConcept C199360897 @default.
• W2141029115 hasConcept C202444582 @default.
• W2141029115 hasConcept C2524010 @default.
• W2141029115 hasConcept C2777212361 @default.
• W2141029115 hasConcept C2777686260 @default.
• W2141029115 hasConcept C2779803651 @default.
• W2141029115 hasConcept C2780069185 @default.
• W2141029115 hasConcept C32241873 @default.
• W2141029115 hasConcept C33923547 @default.
• W2141029115 hasConcept C37754750 @default.
• W2141029115 hasConcept C41008148 @default.
• W2141029115 hasConcept C69562738 @default.
• W2141029115 hasConcept C71924100 @default.
• W2141029115 hasConcept C76155785 @default.
• W2141029115 hasConcept C77928131 @default.
• W2141029115 hasConcept C86803240 @default.
• W2141029115 hasConcept C94915269 @default.
• W2141029115 hasConceptScore W2141029115C118615104 @default.
• W2141029115 hasConceptScore W2141029115C136119220 @default.
• W2141029115 hasConceptScore W2141029115C136137745 @default.
• W2141029115 hasConceptScore W2141029115C136197465 @default.
• W2141029115 hasConceptScore W2141029115C151730666 @default.
• W2141029115 hasConceptScore W2141029115C154945302 @default.
• W2141029115 hasConceptScore W2141029115C167729594 @default.
• W2141029115 hasConceptScore W2141029115C177264268 @default.
• W2141029115 hasConceptScore W2141029115C199343813 @default.
• W2141029115 hasConceptScore W2141029115C199360897 @default.
• W2141029115 hasConceptScore W2141029115C202444582 @default.
• W2141029115 hasConceptScore W2141029115C2524010 @default.
• W2141029115 hasConceptScore W2141029115C2777212361 @default.
• W2141029115 hasConceptScore W2141029115C2777686260 @default.
• W2141029115 hasConceptScore W2141029115C2779803651 @default.
• W2141029115 hasConceptScore W2141029115C2780069185 @default.
• W2141029115 hasConceptScore W2141029115C32241873 @default.
• W2141029115 hasConceptScore W2141029115C33923547 @default.
• W2141029115 hasConceptScore W2141029115C37754750 @default.
• W2141029115 hasConceptScore W2141029115C41008148 @default.
• W2141029115 hasConceptScore W2141029115C69562738 @default.
• W2141029115 hasConceptScore W2141029115C71924100 @default.
• W2141029115 hasConceptScore W2141029115C76155785 @default.
• W2141029115 hasConceptScore W2141029115C77928131 @default.
• W2141029115 hasConceptScore W2141029115C86803240 @default.
• W2141029115 hasConceptScore W2141029115C94915269 @default.
• W2141029115 hasIssue "2" @default.
• W2141029115 hasLocation W21410291151 @default.
• W2141029115 hasOpenAccess W2141029115 @default.

• next