Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014216356> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2014216356 endingPage "1419" @default.
- W2014216356 startingPage "1395" @default.
- W2014216356 abstract "This article is a first step in the study of the order structure of the set of all protoalgebraic logics over a fixed (but arbitrary) language. In particular, it is shown herein that the set is a join-complete semilattice, that it has no minimum, and that is not a meet-semilattice. One of the key points in this study is the discovery of a large family of rather weak protoalgebraic logics, from which an infinity of denumerable sequences of protoalgebraic logics of strictly decreasing strength and with no lower protoalgebraic bound is constructed. Other properties of these logics are also studied, such as their classification in the Frege hierarchy and in the Leibniz hierarchy, and several common metalogical properties (conjunction, disjunction, deduction theorems, etc.; in fact, it turns out that they do not possess any of these properties). These logics provide examples of a kind of protoalgebraic logics, few of which have been provided in the literature to date. This article ends by discussing the issue of how to extend the results to the class of all protoalgebraic logics over different languages, ordered under the expansion relation. This article is an example of the use of combinatorial techniques within the field of abstract algebraic logic." @default.
- W2014216356 created "2016-06-24" @default.
- W2014216356 creator A5076411410 @default.
- W2014216356 date "2014-03-14" @default.
- W2014216356 modified "2023-09-24" @default.
- W2014216356 title "Ordering protoalgebraic logics" @default.
- W2014216356 cites W1573560425 @default.
- W2014216356 cites W1884090924 @default.
- W2014216356 cites W1927491598 @default.
- W2014216356 cites W1973539826 @default.
- W2014216356 cites W1983453585 @default.
- W2014216356 cites W2078222970 @default.
- W2014216356 cites W2095704391 @default.
- W2014216356 cites W349031555 @default.
- W2014216356 cites W4242462843 @default.
- W2014216356 cites W2087256242 @default.
- W2014216356 doi "https://doi.org/10.1093/logcom/exu015" @default.
- W2014216356 hasPublicationYear "2014" @default.
- W2014216356 type Work @default.
- W2014216356 sameAs 2014216356 @default.
- W2014216356 citedByCount "3" @default.
- W2014216356 countsByYear W20142163562021 @default.
- W2014216356 crossrefType "journal-article" @default.
- W2014216356 hasAuthorship W2014216356A5076411410 @default.
- W2014216356 hasConcept C102993220 @default.
- W2014216356 hasConcept C110729354 @default.
- W2014216356 hasConcept C118615104 @default.
- W2014216356 hasConcept C132170107 @default.
- W2014216356 hasConcept C136119220 @default.
- W2014216356 hasConcept C144760519 @default.
- W2014216356 hasConcept C150889026 @default.
- W2014216356 hasConcept C154945302 @default.
- W2014216356 hasConcept C177264268 @default.
- W2014216356 hasConcept C17744445 @default.
- W2014216356 hasConcept C180645754 @default.
- W2014216356 hasConcept C1883856 @default.
- W2014216356 hasConcept C199360897 @default.
- W2014216356 hasConcept C199539241 @default.
- W2014216356 hasConcept C202444582 @default.
- W2014216356 hasConcept C206321295 @default.
- W2014216356 hasConcept C207405024 @default.
- W2014216356 hasConcept C2777212361 @default.
- W2014216356 hasConcept C31170391 @default.
- W2014216356 hasConcept C33923547 @default.
- W2014216356 hasConcept C41008148 @default.
- W2014216356 hasConcept C42011625 @default.
- W2014216356 hasConcept C5263885 @default.
- W2014216356 hasConcept C58166 @default.
- W2014216356 hasConcept C80444323 @default.
- W2014216356 hasConcept C86602344 @default.
- W2014216356 hasConcept C98224912 @default.
- W2014216356 hasConceptScore W2014216356C102993220 @default.
- W2014216356 hasConceptScore W2014216356C110729354 @default.
- W2014216356 hasConceptScore W2014216356C118615104 @default.
- W2014216356 hasConceptScore W2014216356C132170107 @default.
- W2014216356 hasConceptScore W2014216356C136119220 @default.
- W2014216356 hasConceptScore W2014216356C144760519 @default.
- W2014216356 hasConceptScore W2014216356C150889026 @default.
- W2014216356 hasConceptScore W2014216356C154945302 @default.
- W2014216356 hasConceptScore W2014216356C177264268 @default.
- W2014216356 hasConceptScore W2014216356C17744445 @default.
- W2014216356 hasConceptScore W2014216356C180645754 @default.
- W2014216356 hasConceptScore W2014216356C1883856 @default.
- W2014216356 hasConceptScore W2014216356C199360897 @default.
- W2014216356 hasConceptScore W2014216356C199539241 @default.
- W2014216356 hasConceptScore W2014216356C202444582 @default.
- W2014216356 hasConceptScore W2014216356C206321295 @default.
- W2014216356 hasConceptScore W2014216356C207405024 @default.
- W2014216356 hasConceptScore W2014216356C2777212361 @default.
- W2014216356 hasConceptScore W2014216356C31170391 @default.
- W2014216356 hasConceptScore W2014216356C33923547 @default.
- W2014216356 hasConceptScore W2014216356C41008148 @default.
- W2014216356 hasConceptScore W2014216356C42011625 @default.
- W2014216356 hasConceptScore W2014216356C5263885 @default.
- W2014216356 hasConceptScore W2014216356C58166 @default.
- W2014216356 hasConceptScore W2014216356C80444323 @default.
- W2014216356 hasConceptScore W2014216356C86602344 @default.
- W2014216356 hasConceptScore W2014216356C98224912 @default.
- W2014216356 hasIssue "5" @default.
- W2014216356 hasLocation W20142163561 @default.
- W2014216356 hasOpenAccess W2014216356 @default.
- W2014216356 hasPrimaryLocation W20142163561 @default.
- W2014216356 hasRelatedWork W169137922 @default.
- W2014216356 hasRelatedWork W1783029874 @default.
- W2014216356 hasRelatedWork W2000351746 @default.
- W2014216356 hasRelatedWork W2006614341 @default.
- W2014216356 hasRelatedWork W2070247517 @default.
- W2014216356 hasRelatedWork W2090698824 @default.
- W2014216356 hasRelatedWork W2277396649 @default.
- W2014216356 hasRelatedWork W3006164068 @default.
- W2014216356 hasRelatedWork W4308610738 @default.
- W2014216356 hasRelatedWork W810602762 @default.
- W2014216356 hasVolume "26" @default.
- W2014216356 isParatext "false" @default.
- W2014216356 isRetracted "false" @default.
- W2014216356 magId "2014216356" @default.
- W2014216356 workType "article" @default.