Matches in SemOpenAlex for { <https://semopenalex.org/work/W4366563377> ?p ?o ?g. }
Showing items 1 to 37 of
37
with 100 items per page.
- W4366563377 abstract "This paper presents a study of the finite axiomatizability of transitive logics of finite depth and finite weak width. We prove the finite axiomatizability of each transitive logic of finite depth and of weak width $1$ that is characterized by rooted transitive frames in which all antichains contain at most $n$ irreflexive points. As a negative result, we show that there are non-finitely-axiomatizable transitive logics of depth $n$ and of weak width $k$ for each $ngeqslant3$ and $kgeqslant2$." @default.
- W4366563377 created "2023-04-22" @default.
- W4366563377 creator A5086664284 @default.
- W4366563377 date "2023-04-19" @default.
- W4366563377 modified "2023-10-17" @default.
- W4366563377 title "Finite Axiomatizability of Transitive Logics of Finite Depth and of Finite Weak Width" @default.
- W4366563377 doi "https://doi.org/10.48550/arxiv.2304.09709" @default.
- W4366563377 hasPublicationYear "2023" @default.
- W4366563377 type Work @default.
- W4366563377 citedByCount "0" @default.
- W4366563377 crossrefType "posted-content" @default.
- W4366563377 hasAuthorship W4366563377A5086664284 @default.
- W4366563377 hasBestOaLocation W43665633771 @default.
- W4366563377 hasConcept C114614502 @default.
- W4366563377 hasConcept C191399111 @default.
- W4366563377 hasConcept C202444582 @default.
- W4366563377 hasConcept C33923547 @default.
- W4366563377 hasConceptScore W4366563377C114614502 @default.
- W4366563377 hasConceptScore W4366563377C191399111 @default.
- W4366563377 hasConceptScore W4366563377C202444582 @default.
- W4366563377 hasConceptScore W4366563377C33923547 @default.
- W4366563377 hasLocation W43665633771 @default.
- W4366563377 hasOpenAccess W4366563377 @default.
- W4366563377 hasPrimaryLocation W43665633771 @default.
- W4366563377 hasRelatedWork W1194359170 @default.
- W4366563377 hasRelatedWork W1970733021 @default.
- W4366563377 hasRelatedWork W2018461617 @default.
- W4366563377 hasRelatedWork W2028945277 @default.
- W4366563377 hasRelatedWork W2083044841 @default.
- W4366563377 hasRelatedWork W2317783843 @default.
- W4366563377 hasRelatedWork W2774343100 @default.
- W4366563377 hasRelatedWork W4243577336 @default.
- W4366563377 hasRelatedWork W4256302823 @default.
- W4366563377 hasRelatedWork W899482457 @default.
- W4366563377 isParatext "false" @default.
- W4366563377 isRetracted "false" @default.
- W4366563377 workType "article" @default.