FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2495156561> ?p ?o ?g. }

• W2495156561 abstract "Monoidal logics were introduced as a foundational framework to analyse the proof theory of deontic logic. Building on Lambek’s work in categorical logic, logical systems are defined as deductive systems, that is, as collections of equivalence classes of proofs satisfying specific rules and axiom schemata. This approach enables the classification of deductive systems with respect to their categorical structure. When looking at their proof theory, however, one can see that there are similarities between monoidal and substructural logics. The purpose of the present paper is to address this issue and highlight the differences between these two approaches. We argue that monoidal logics provide a more flexible foundational framework that enables a finer analysis of the relationship between negation(s) and other logical connectives. We show that the elimination of double negation(s) is independent from the de Morgan dualities, that monoidal deductive systems are not necessarily weakly distributive and that deduc..." @default.
• W2495156561 created "2016-08-23" @default.
• W2495156561 creator A5005406411 @default.
• W2495156561 date "2016-04-02" @default.
• W2495156561 modified "2023-09-24" @default.
• W2495156561 title "A comparison between monoidal and substructural logics" @default.
• W2495156561 cites W136934826 @default.
• W2495156561 cites W1487361824 @default.
• W2495156561 cites W1495898183 @default.
• W2495156561 cites W1515040640 @default.
• W2495156561 cites W1554619471 @default.
• W2495156561 cites W1600838014 @default.
• W2495156561 cites W1968581827 @default.
• W2495156561 cites W1981611185 @default.
• W2495156561 cites W2002241150 @default.
• W2495156561 cites W2008132476 @default.
• W2495156561 cites W2011126595 @default.
• W2495156561 cites W2018773995 @default.
• W2495156561 cites W2045711652 @default.
• W2495156561 cites W2075367647 @default.
• W2495156561 cites W2080908387 @default.
• W2495156561 cites W2092847864 @default.
• W2495156561 cites W2093705378 @default.
• W2495156561 cites W2094685149 @default.
• W2495156561 cites W2112970627 @default.
• W2495156561 cites W2120713972 @default.
• W2495156561 cites W2151020813 @default.
• W2495156561 cites W2156703118 @default.
• W2495156561 cites W2285958605 @default.
• W2495156561 cites W2331382175 @default.
• W2495156561 cites W2476903666 @default.
• W2495156561 cites W26677252 @default.
• W2495156561 cites W2911865844 @default.
• W2495156561 cites W33957596 @default.
• W2495156561 cites W4210848565 @default.
• W2495156561 cites W4234269419 @default.
• W2495156561 cites W4237994949 @default.
• W2495156561 cites W4242125186 @default.
• W2495156561 cites W4242309855 @default.
• W2495156561 cites W4248156396 @default.
• W2495156561 cites W4251799386 @default.
• W2495156561 cites W4256453086 @default.
• W2495156561 doi "https://doi.org/10.1080/11663081.2016.1179528" @default.
• W2495156561 hasPublicationYear "2016" @default.
• W2495156561 type Work @default.
• W2495156561 sameAs 2495156561 @default.
• W2495156561 citedByCount "3" @default.
• W2495156561 countsByYear W24951565612017 @default.
• W2495156561 countsByYear W24951565612018 @default.
• W2495156561 countsByYear W24951565612019 @default.
• W2495156561 crossrefType "journal-article" @default.
• W2495156561 hasAuthorship W2495156561A5005406411 @default.
• W2495156561 hasConcept C105795698 @default.
• W2495156561 hasConcept C108710211 @default.
• W2495156561 hasConcept C111472728 @default.
• W2495156561 hasConcept C136119220 @default.
• W2495156561 hasConcept C138885662 @default.
• W2495156561 hasConcept C154945302 @default.
• W2495156561 hasConcept C167729594 @default.
• W2495156561 hasConcept C1883856 @default.
• W2495156561 hasConcept C199360897 @default.
• W2495156561 hasConcept C202444582 @default.
• W2495156561 hasConcept C2185349 @default.
• W2495156561 hasConcept C2524010 @default.
• W2495156561 hasConcept C33923547 @default.
• W2495156561 hasConcept C41008148 @default.
• W2495156561 hasConcept C42011625 @default.
• W2495156561 hasConcept C5263885 @default.
• W2495156561 hasConcept C5274069 @default.
• W2495156561 hasConcept C58166 @default.
• W2495156561 hasConcept C6377922 @default.
• W2495156561 hasConcept C86602344 @default.
• W2495156561 hasConcept C98224912 @default.
• W2495156561 hasConceptScore W2495156561C105795698 @default.
• W2495156561 hasConceptScore W2495156561C108710211 @default.
• W2495156561 hasConceptScore W2495156561C111472728 @default.
• W2495156561 hasConceptScore W2495156561C136119220 @default.
• W2495156561 hasConceptScore W2495156561C138885662 @default.
• W2495156561 hasConceptScore W2495156561C154945302 @default.
• W2495156561 hasConceptScore W2495156561C167729594 @default.
• W2495156561 hasConceptScore W2495156561C1883856 @default.
• W2495156561 hasConceptScore W2495156561C199360897 @default.
• W2495156561 hasConceptScore W2495156561C202444582 @default.
• W2495156561 hasConceptScore W2495156561C2185349 @default.
• W2495156561 hasConceptScore W2495156561C2524010 @default.
• W2495156561 hasConceptScore W2495156561C33923547 @default.
• W2495156561 hasConceptScore W2495156561C41008148 @default.
• W2495156561 hasConceptScore W2495156561C42011625 @default.
• W2495156561 hasConceptScore W2495156561C5263885 @default.
• W2495156561 hasConceptScore W2495156561C5274069 @default.
• W2495156561 hasConceptScore W2495156561C58166 @default.
• W2495156561 hasConceptScore W2495156561C6377922 @default.
• W2495156561 hasConceptScore W2495156561C86602344 @default.
• W2495156561 hasConceptScore W2495156561C98224912 @default.
• W2495156561 hasFunder F4320334617 @default.
• W2495156561 hasLocation W24951565611 @default.
• W2495156561 hasOpenAccess W2495156561 @default.
• W2495156561 hasPrimaryLocation W24951565611 @default.
• W2495156561 hasRelatedWork W1210449879 @default.
• W2495156561 hasRelatedWork W1546731048 @default.

• next