Matches in SemOpenAlex for { <https://semopenalex.org/work/W1515040640> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1515040640 abstract "We prove some theorems on representation of residuated semigroups and monoids in algebras of binary relations. One of them has been proved in Andreka and Mikulas [3], and the others are new, though also closely related to some results in [3]. The main novelty of this paper is a simple method of proof, based upon a construction of canonical models for Lambek calculi by means of labeled formulas, whereas [3] uses graph-theoretic constructions. We handle labeled formulas in a way similar to Kurtonina [15] and the second author [14], but we make no use of Labeled Deductive Systems, which is an essential simplification." @default.
- W1515040640 created "2016-06-24" @default.
- W1515040640 creator A5009364388 @default.
- W1515040640 creator A5080369145 @default.
- W1515040640 date "1997-01-01" @default.
- W1515040640 modified "2023-10-03" @default.
- W1515040640 title "Representation of Residuated Semigroups in Some Algebras of Relations (The Method of Canonical Models)" @default.
- W1515040640 cites W110913329 @default.
- W1515040640 cites W1585815400 @default.
- W1515040640 cites W1994832936 @default.
- W1515040640 cites W2045711652 @default.
- W1515040640 cites W2074070481 @default.
- W1515040640 cites W2078432227 @default.
- W1515040640 cites W2094237404 @default.
- W1515040640 cites W2097396421 @default.
- W1515040640 cites W2148482768 @default.
- W1515040640 cites W2328580899 @default.
- W1515040640 cites W3144973885 @default.
- W1515040640 cites W1539648968 @default.
- W1515040640 doi "https://doi.org/10.3233/fi-1997-3111" @default.
- W1515040640 hasPublicationYear "1997" @default.
- W1515040640 type Work @default.
- W1515040640 sameAs 1515040640 @default.
- W1515040640 citedByCount "10" @default.
- W1515040640 countsByYear W15150406402014 @default.
- W1515040640 countsByYear W15150406402016 @default.
- W1515040640 crossrefType "journal-article" @default.
- W1515040640 hasAuthorship W1515040640A5009364388 @default.
- W1515040640 hasAuthorship W1515040640A5080369145 @default.
- W1515040640 hasConcept C111472728 @default.
- W1515040640 hasConcept C118615104 @default.
- W1515040640 hasConcept C136119220 @default.
- W1515040640 hasConcept C138885662 @default.
- W1515040640 hasConcept C154945302 @default.
- W1515040640 hasConcept C17744445 @default.
- W1515040640 hasConcept C199539241 @default.
- W1515040640 hasConcept C202444582 @default.
- W1515040640 hasConcept C207405024 @default.
- W1515040640 hasConcept C27206212 @default.
- W1515040640 hasConcept C2776359362 @default.
- W1515040640 hasConcept C2778738651 @default.
- W1515040640 hasConcept C2780586882 @default.
- W1515040640 hasConcept C2781278839 @default.
- W1515040640 hasConcept C33923547 @default.
- W1515040640 hasConcept C41008148 @default.
- W1515040640 hasConcept C58166 @default.
- W1515040640 hasConcept C65180967 @default.
- W1515040640 hasConcept C94625758 @default.
- W1515040640 hasConceptScore W1515040640C111472728 @default.
- W1515040640 hasConceptScore W1515040640C118615104 @default.
- W1515040640 hasConceptScore W1515040640C136119220 @default.
- W1515040640 hasConceptScore W1515040640C138885662 @default.
- W1515040640 hasConceptScore W1515040640C154945302 @default.
- W1515040640 hasConceptScore W1515040640C17744445 @default.
- W1515040640 hasConceptScore W1515040640C199539241 @default.
- W1515040640 hasConceptScore W1515040640C202444582 @default.
- W1515040640 hasConceptScore W1515040640C207405024 @default.
- W1515040640 hasConceptScore W1515040640C27206212 @default.
- W1515040640 hasConceptScore W1515040640C2776359362 @default.
- W1515040640 hasConceptScore W1515040640C2778738651 @default.
- W1515040640 hasConceptScore W1515040640C2780586882 @default.
- W1515040640 hasConceptScore W1515040640C2781278839 @default.
- W1515040640 hasConceptScore W1515040640C33923547 @default.
- W1515040640 hasConceptScore W1515040640C41008148 @default.
- W1515040640 hasConceptScore W1515040640C58166 @default.
- W1515040640 hasConceptScore W1515040640C65180967 @default.
- W1515040640 hasConceptScore W1515040640C94625758 @default.
- W1515040640 hasLocation W15150406401 @default.
- W1515040640 hasOpenAccess W1515040640 @default.
- W1515040640 hasPrimaryLocation W15150406401 @default.
- W1515040640 hasRelatedWork W1585815400 @default.
- W1515040640 hasRelatedWork W1593006801 @default.
- W1515040640 hasRelatedWork W19044348 @default.
- W1515040640 hasRelatedWork W1978079546 @default.
- W1515040640 hasRelatedWork W1992234386 @default.
- W1515040640 hasRelatedWork W1993804761 @default.
- W1515040640 hasRelatedWork W2004876855 @default.
- W1515040640 hasRelatedWork W2022554132 @default.
- W1515040640 hasRelatedWork W2033136385 @default.
- W1515040640 hasRelatedWork W2058392484 @default.
- W1515040640 hasRelatedWork W2156703118 @default.
- W1515040640 hasRelatedWork W2182354728 @default.
- W1515040640 hasRelatedWork W2218362169 @default.
- W1515040640 hasRelatedWork W2328580899 @default.
- W1515040640 hasRelatedWork W2528103913 @default.
- W1515040640 hasRelatedWork W2756920211 @default.
- W1515040640 hasRelatedWork W2911865844 @default.
- W1515040640 hasRelatedWork W2935553843 @default.
- W1515040640 hasRelatedWork W3099647140 @default.
- W1515040640 hasRelatedWork W2567220794 @default.
- W1515040640 isParatext "false" @default.
- W1515040640 isRetracted "false" @default.
- W1515040640 magId "1515040640" @default.
- W1515040640 workType "article" @default.