Matches in SemOpenAlex for { <https://semopenalex.org/work/W1976117441> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1976117441 abstract "DMF@?s are the natural algebraic tool for modelling reasoning with Korner@?s partial predicates. We provide two representation theorems for DMF@?s which give rise to two adjunctions, the first between DMF and the category of sets and the second between DMF and the category of distributive lattices with minimum. Then we propose a logic L{1} for dealing with exactness in partial contexts, which belongs neither to the Leibniz, nor to the Frege hierarchies, and carry on its study with techniques of abstract algebraic logic. Finally a fully adequate and algebraizable Gentzen system for L{1} is given." @default.
- W1976117441 created "2016-06-24" @default.
- W1976117441 creator A5031449832 @default.
- W1976117441 date "2014-01-01" @default.
- W1976117441 modified "2023-09-29" @default.
- W1976117441 title "An algebraic study of exactness in partial contexts" @default.
- W1976117441 cites W116349697 @default.
- W1976117441 cites W1650095214 @default.
- W1976117441 cites W1978201126 @default.
- W1976117441 cites W2038185098 @default.
- W1976117441 cites W2073721756 @default.
- W1976117441 cites W2077395144 @default.
- W1976117441 cites W628027901 @default.
- W1976117441 doi "https://doi.org/10.1016/j.ijar.2013.09.010" @default.
- W1976117441 hasPublicationYear "2014" @default.
- W1976117441 type Work @default.
- W1976117441 sameAs 1976117441 @default.
- W1976117441 citedByCount "1" @default.
- W1976117441 countsByYear W19761174412016 @default.
- W1976117441 crossrefType "journal-article" @default.
- W1976117441 hasAuthorship W1976117441A5031449832 @default.
- W1976117441 hasBestOaLocation W19761174411 @default.
- W1976117441 hasConcept C11821877 @default.
- W1976117441 hasConcept C134306372 @default.
- W1976117441 hasConcept C136119220 @default.
- W1976117441 hasConcept C17744445 @default.
- W1976117441 hasConcept C199539241 @default.
- W1976117441 hasConcept C202444582 @default.
- W1976117441 hasConcept C2776359362 @default.
- W1976117441 hasConcept C33923547 @default.
- W1976117441 hasConcept C86523455 @default.
- W1976117441 hasConcept C9376300 @default.
- W1976117441 hasConcept C94625758 @default.
- W1976117441 hasConceptScore W1976117441C11821877 @default.
- W1976117441 hasConceptScore W1976117441C134306372 @default.
- W1976117441 hasConceptScore W1976117441C136119220 @default.
- W1976117441 hasConceptScore W1976117441C17744445 @default.
- W1976117441 hasConceptScore W1976117441C199539241 @default.
- W1976117441 hasConceptScore W1976117441C202444582 @default.
- W1976117441 hasConceptScore W1976117441C2776359362 @default.
- W1976117441 hasConceptScore W1976117441C33923547 @default.
- W1976117441 hasConceptScore W1976117441C86523455 @default.
- W1976117441 hasConceptScore W1976117441C9376300 @default.
- W1976117441 hasConceptScore W1976117441C94625758 @default.
- W1976117441 hasLocation W19761174411 @default.
- W1976117441 hasOpenAccess W1976117441 @default.
- W1976117441 hasPrimaryLocation W19761174411 @default.
- W1976117441 hasRelatedWork W1492490874 @default.
- W1976117441 hasRelatedWork W1511090187 @default.
- W1976117441 hasRelatedWork W184413736 @default.
- W1976117441 hasRelatedWork W1856792357 @default.
- W1976117441 hasRelatedWork W1884090924 @default.
- W1976117441 hasRelatedWork W1977650433 @default.
- W1976117441 hasRelatedWork W2012818292 @default.
- W1976117441 hasRelatedWork W2044490292 @default.
- W1976117441 hasRelatedWork W2068520516 @default.
- W1976117441 hasRelatedWork W2094192581 @default.
- W1976117441 hasRelatedWork W2122759166 @default.
- W1976117441 hasRelatedWork W2131323124 @default.
- W1976117441 hasRelatedWork W2149922426 @default.
- W1976117441 hasRelatedWork W2181607603 @default.
- W1976117441 hasRelatedWork W2593641697 @default.
- W1976117441 hasRelatedWork W2614883855 @default.
- W1976117441 hasRelatedWork W2965956397 @default.
- W1976117441 hasRelatedWork W2976714240 @default.
- W1976117441 hasRelatedWork W3100936774 @default.
- W1976117441 hasRelatedWork W592360329 @default.
- W1976117441 isParatext "false" @default.
- W1976117441 isRetracted "false" @default.
- W1976117441 magId "1976117441" @default.
- W1976117441 workType "article" @default.