Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385963631> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4385963631 abstract "Fuhrmann and Pym constructed models of classical propositional logic in an order-enriched categorical setting, whose typical example is the category $mathbf{Rel}$ of sets and relations. It is remarkable in that they are both non-degenerate and symmetric, i.e., free from the choices of the reduction strategy. As a furter categorification of this direction, we give bicategorical models of classical propositional logic that is also symmetric and non-degenerate. Primal examples of our models include $mathbf{Rel}$, $mathbf{Span}$, and $mathbf{Prof}$, which shows that we can construct models that are non-degenerate not only for $1$-cells but also for $2$-cells and the logical negations." @default.
- W4385963631 created "2023-08-18" @default.
- W4385963631 creator A5076239112 @default.
- W4385963631 date "2023-08-03" @default.
- W4385963631 modified "2023-09-23" @default.
- W4385963631 title "Bicategorical Models of Classical Propositional Logic" @default.
- W4385963631 doi "https://doi.org/10.48550/arxiv.2308.01662" @default.
- W4385963631 hasPublicationYear "2023" @default.
- W4385963631 type Work @default.
- W4385963631 citedByCount "0" @default.
- W4385963631 crossrefType "posted-content" @default.
- W4385963631 hasAuthorship W4385963631A5076239112 @default.
- W4385963631 hasBestOaLocation W43859636311 @default.
- W4385963631 hasConcept C102993220 @default.
- W4385963631 hasConcept C110039528 @default.
- W4385963631 hasConcept C118615104 @default.
- W4385963631 hasConcept C121332964 @default.
- W4385963631 hasConcept C1219285 @default.
- W4385963631 hasConcept C136119220 @default.
- W4385963631 hasConcept C14523651 @default.
- W4385963631 hasConcept C154945302 @default.
- W4385963631 hasConcept C178421362 @default.
- W4385963631 hasConcept C191222856 @default.
- W4385963631 hasConcept C199360897 @default.
- W4385963631 hasConcept C202444582 @default.
- W4385963631 hasConcept C203659156 @default.
- W4385963631 hasConcept C2185349 @default.
- W4385963631 hasConcept C32241873 @default.
- W4385963631 hasConcept C33203268 @default.
- W4385963631 hasConcept C33923547 @default.
- W4385963631 hasConcept C3845977 @default.
- W4385963631 hasConcept C41008148 @default.
- W4385963631 hasConcept C62520636 @default.
- W4385963631 hasConcept C69562738 @default.
- W4385963631 hasConcept C72319582 @default.
- W4385963631 hasConceptScore W4385963631C102993220 @default.
- W4385963631 hasConceptScore W4385963631C110039528 @default.
- W4385963631 hasConceptScore W4385963631C118615104 @default.
- W4385963631 hasConceptScore W4385963631C121332964 @default.
- W4385963631 hasConceptScore W4385963631C1219285 @default.
- W4385963631 hasConceptScore W4385963631C136119220 @default.
- W4385963631 hasConceptScore W4385963631C14523651 @default.
- W4385963631 hasConceptScore W4385963631C154945302 @default.
- W4385963631 hasConceptScore W4385963631C178421362 @default.
- W4385963631 hasConceptScore W4385963631C191222856 @default.
- W4385963631 hasConceptScore W4385963631C199360897 @default.
- W4385963631 hasConceptScore W4385963631C202444582 @default.
- W4385963631 hasConceptScore W4385963631C203659156 @default.
- W4385963631 hasConceptScore W4385963631C2185349 @default.
- W4385963631 hasConceptScore W4385963631C32241873 @default.
- W4385963631 hasConceptScore W4385963631C33203268 @default.
- W4385963631 hasConceptScore W4385963631C33923547 @default.
- W4385963631 hasConceptScore W4385963631C3845977 @default.
- W4385963631 hasConceptScore W4385963631C41008148 @default.
- W4385963631 hasConceptScore W4385963631C62520636 @default.
- W4385963631 hasConceptScore W4385963631C69562738 @default.
- W4385963631 hasConceptScore W4385963631C72319582 @default.
- W4385963631 hasLocation W43859636311 @default.
- W4385963631 hasOpenAccess W4385963631 @default.
- W4385963631 hasPrimaryLocation W43859636311 @default.
- W4385963631 hasRelatedWork W1573206013 @default.
- W4385963631 hasRelatedWork W1973501176 @default.
- W4385963631 hasRelatedWork W1986625420 @default.
- W4385963631 hasRelatedWork W2020323165 @default.
- W4385963631 hasRelatedWork W2081976468 @default.
- W4385963631 hasRelatedWork W2110707830 @default.
- W4385963631 hasRelatedWork W2913260702 @default.
- W4385963631 hasRelatedWork W3100510665 @default.
- W4385963631 hasRelatedWork W3145584637 @default.
- W4385963631 hasRelatedWork W4251854500 @default.
- W4385963631 isParatext "false" @default.
- W4385963631 isRetracted "false" @default.
- W4385963631 workType "article" @default.