Matches in SemOpenAlex for { <https://semopenalex.org/work/W4321791330> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4321791330 abstract "We present in this talk an abstract categorical logic based on an abstraction of quantifier. More precisely, the proposed logic is abstract because no structural constraints are imposed on models (semantics free). By contrast, formulas are inductively defined from an abstraction both of atomic formulas and of quantifiers. In this sense, the proposed approach differs from other works interested in formalizing the notion of abstract logic and of which the closest to our approach are the institutions, which in addition to be semantics free do not also impose any syntactic contingencies on the structure of formulas. To define the semantical framework in which formulas will be interpreted, we propose to follow the idea from categorical logic which defines the semantical interpretation of formulas from context and as subobjects of an object of a given category. In the spirit of Lawvere’s hyperdoctrines, we use a more abstract notion which generalizes the notion of subobject, standard in category theory: Pitt’s prop-categories. Always in the spirit of categorical logic, we propose a sequent calculus of which we show correctness and completeness for all semantical frameworks defined over any prop-categories. We then study some conditions which allow us to get this completeness result for particular classes of prop-categories." @default.
- W4321791330 created "2023-02-25" @default.
- W4321791330 creator A5088407901 @default.
- W4321791330 date "2023-02-22" @default.
- W4321791330 modified "2023-09-26" @default.
- W4321791330 title "Abstract Categorical Logic" @default.
- W4321791330 cites W4309634212 @default.
- W4321791330 doi "https://doi.org/10.52843/cassyni.y6dkwx" @default.
- W4321791330 hasPublicationYear "2023" @default.
- W4321791330 type Work @default.
- W4321791330 citedByCount "0" @default.
- W4321791330 crossrefType "posted-content" @default.
- W4321791330 hasAuthorship W4321791330A5088407901 @default.
- W4321791330 hasConcept C102993220 @default.
- W4321791330 hasConcept C105795698 @default.
- W4321791330 hasConcept C111472728 @default.
- W4321791330 hasConcept C11413529 @default.
- W4321791330 hasConcept C118615104 @default.
- W4321791330 hasConcept C124304363 @default.
- W4321791330 hasConcept C134306372 @default.
- W4321791330 hasConcept C136119220 @default.
- W4321791330 hasConcept C138885662 @default.
- W4321791330 hasConcept C169896238 @default.
- W4321791330 hasConcept C17231256 @default.
- W4321791330 hasConcept C184337299 @default.
- W4321791330 hasConcept C199343813 @default.
- W4321791330 hasConcept C199360897 @default.
- W4321791330 hasConcept C202444582 @default.
- W4321791330 hasConcept C2777686260 @default.
- W4321791330 hasConcept C2780654840 @default.
- W4321791330 hasConcept C28077239 @default.
- W4321791330 hasConcept C33923547 @default.
- W4321791330 hasConcept C41008148 @default.
- W4321791330 hasConcept C5274069 @default.
- W4321791330 hasConcept C527412718 @default.
- W4321791330 hasConcept C55439883 @default.
- W4321791330 hasConcept C71924100 @default.
- W4321791330 hasConcept C80444323 @default.
- W4321791330 hasConceptScore W4321791330C102993220 @default.
- W4321791330 hasConceptScore W4321791330C105795698 @default.
- W4321791330 hasConceptScore W4321791330C111472728 @default.
- W4321791330 hasConceptScore W4321791330C11413529 @default.
- W4321791330 hasConceptScore W4321791330C118615104 @default.
- W4321791330 hasConceptScore W4321791330C124304363 @default.
- W4321791330 hasConceptScore W4321791330C134306372 @default.
- W4321791330 hasConceptScore W4321791330C136119220 @default.
- W4321791330 hasConceptScore W4321791330C138885662 @default.
- W4321791330 hasConceptScore W4321791330C169896238 @default.
- W4321791330 hasConceptScore W4321791330C17231256 @default.
- W4321791330 hasConceptScore W4321791330C184337299 @default.
- W4321791330 hasConceptScore W4321791330C199343813 @default.
- W4321791330 hasConceptScore W4321791330C199360897 @default.
- W4321791330 hasConceptScore W4321791330C202444582 @default.
- W4321791330 hasConceptScore W4321791330C2777686260 @default.
- W4321791330 hasConceptScore W4321791330C2780654840 @default.
- W4321791330 hasConceptScore W4321791330C28077239 @default.
- W4321791330 hasConceptScore W4321791330C33923547 @default.
- W4321791330 hasConceptScore W4321791330C41008148 @default.
- W4321791330 hasConceptScore W4321791330C5274069 @default.
- W4321791330 hasConceptScore W4321791330C527412718 @default.
- W4321791330 hasConceptScore W4321791330C55439883 @default.
- W4321791330 hasConceptScore W4321791330C71924100 @default.
- W4321791330 hasConceptScore W4321791330C80444323 @default.
- W4321791330 hasLocation W43217913301 @default.
- W4321791330 hasOpenAccess W4321791330 @default.
- W4321791330 hasPrimaryLocation W43217913301 @default.
- W4321791330 hasRelatedWork W1879453804 @default.
- W4321791330 hasRelatedWork W1944388879 @default.
- W4321791330 hasRelatedWork W2016527594 @default.
- W4321791330 hasRelatedWork W2074638034 @default.
- W4321791330 hasRelatedWork W3147812817 @default.
- W4321791330 hasRelatedWork W3175673396 @default.
- W4321791330 hasRelatedWork W3207067320 @default.
- W4321791330 hasRelatedWork W4298767027 @default.
- W4321791330 hasRelatedWork W4301430421 @default.
- W4321791330 hasRelatedWork W817135640 @default.
- W4321791330 isParatext "false" @default.
- W4321791330 isRetracted "false" @default.
- W4321791330 workType "article" @default.