Matches in SemOpenAlex for { <https://semopenalex.org/work/W2914403345> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2914403345 endingPage "1072" @default.
- W2914403345 startingPage "1060" @default.
- W2914403345 abstract "Abstract We prove that the minimal Logic of Formal Inconsistency (LFI) $mathsf{QmbC}$ (basic quantified logic of formal inconsistency) validates a weaker version of Fraïssé’s theorem (FT). LFIs are paraconsistent logics that relativize the Principle of Explosion only to consistent formulas. Now, despite the recent interest in LFIs, their model-theoretic properties are still not fully understood. Our aim in this paper is to investigate the situation. Our interest in FT has to do with its fruitfulness; the preservation of FT indicates that a number of other classical semantic properties can be also salvaged in LFIs. Further, given that FT depends on truth-functionality (a property that, in general, fails in LFIs), whether full FT holds for $mathsf{QmbC}$ becomes a challenging question." @default.
- W2914403345 created "2019-02-21" @default.
- W2914403345 creator A5019891741 @default.
- W2914403345 creator A5081864881 @default.
- W2914403345 date "2018-11-29" @default.
- W2914403345 modified "2023-09-27" @default.
- W2914403345 title "Fraïssé’s theorem for logics of formal inconsistency" @default.
- W2914403345 cites W1481398220 @default.
- W2914403345 cites W1967451645 @default.
- W2914403345 cites W218854924 @default.
- W2914403345 cites W2229453128 @default.
- W2914403345 cites W4234849400 @default.
- W2914403345 cites W4247641833 @default.
- W2914403345 cites W4253656749 @default.
- W2914403345 cites W82835981 @default.
- W2914403345 doi "https://doi.org/10.1093/jigpal/jzy073" @default.
- W2914403345 hasPublicationYear "2018" @default.
- W2914403345 type Work @default.
- W2914403345 sameAs 2914403345 @default.
- W2914403345 citedByCount "0" @default.
- W2914403345 crossrefType "journal-article" @default.
- W2914403345 hasAuthorship W2914403345A5019891741 @default.
- W2914403345 hasAuthorship W2914403345A5081864881 @default.
- W2914403345 hasConcept C102993220 @default.
- W2914403345 hasConcept C111472728 @default.
- W2914403345 hasConcept C118615104 @default.
- W2914403345 hasConcept C138885662 @default.
- W2914403345 hasConcept C144237770 @default.
- W2914403345 hasConcept C16796852 @default.
- W2914403345 hasConcept C169896238 @default.
- W2914403345 hasConcept C189950617 @default.
- W2914403345 hasConcept C199343813 @default.
- W2914403345 hasConcept C2777686260 @default.
- W2914403345 hasConcept C33923547 @default.
- W2914403345 hasConcept C41008148 @default.
- W2914403345 hasConcept C71924100 @default.
- W2914403345 hasConcept C80444323 @default.
- W2914403345 hasConceptScore W2914403345C102993220 @default.
- W2914403345 hasConceptScore W2914403345C111472728 @default.
- W2914403345 hasConceptScore W2914403345C118615104 @default.
- W2914403345 hasConceptScore W2914403345C138885662 @default.
- W2914403345 hasConceptScore W2914403345C144237770 @default.
- W2914403345 hasConceptScore W2914403345C16796852 @default.
- W2914403345 hasConceptScore W2914403345C169896238 @default.
- W2914403345 hasConceptScore W2914403345C189950617 @default.
- W2914403345 hasConceptScore W2914403345C199343813 @default.
- W2914403345 hasConceptScore W2914403345C2777686260 @default.
- W2914403345 hasConceptScore W2914403345C33923547 @default.
- W2914403345 hasConceptScore W2914403345C41008148 @default.
- W2914403345 hasConceptScore W2914403345C71924100 @default.
- W2914403345 hasConceptScore W2914403345C80444323 @default.
- W2914403345 hasFunder F4320322025 @default.
- W2914403345 hasIssue "5" @default.
- W2914403345 hasLocation W29144033451 @default.
- W2914403345 hasOpenAccess W2914403345 @default.
- W2914403345 hasPrimaryLocation W29144033451 @default.
- W2914403345 hasRelatedWork W1554056448 @default.
- W2914403345 hasRelatedWork W1558456818 @default.
- W2914403345 hasRelatedWork W1653282108 @default.
- W2914403345 hasRelatedWork W1981243725 @default.
- W2914403345 hasRelatedWork W2020478166 @default.
- W2914403345 hasRelatedWork W2063323033 @default.
- W2914403345 hasRelatedWork W2321165943 @default.
- W2914403345 hasRelatedWork W2330172022 @default.
- W2914403345 hasRelatedWork W2580864378 @default.
- W2914403345 hasRelatedWork W4313644249 @default.
- W2914403345 hasVolume "28" @default.
- W2914403345 isParatext "false" @default.
- W2914403345 isRetracted "false" @default.
- W2914403345 magId "2914403345" @default.
- W2914403345 workType "article" @default.