Matches in SemOpenAlex for { <https://semopenalex.org/work/W3127796409> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W3127796409 abstract "In this paper, we propose a generalization of Continuous Logic ([BBHU08]) where the distances take values in suitable co-quantales (in the way as it was proposed in [Fla97]). By assuming suitable conditions (e.g., being co-divisible, co-Girard and a V-domain), we provide, as test questions, a proof of a version of the Tarski-Vaught test (Proposition 3.35) and Los Theorem (Theorem 3.62) in our setting." @default.
- W3127796409 created "2021-02-15" @default.
- W3127796409 creator A5066305417 @default.
- W3127796409 creator A5088541492 @default.
- W3127796409 date "2021-02-11" @default.
- W3127796409 modified "2023-09-27" @default.
- W3127796409 title "Co-quantale valued logics" @default.
- W3127796409 cites W1542113445 @default.
- W3127796409 cites W1553230187 @default.
- W3127796409 cites W1577003333 @default.
- W3127796409 cites W1630864461 @default.
- W3127796409 cites W2020879982 @default.
- W3127796409 cites W2025947813 @default.
- W3127796409 cites W2036951624 @default.
- W3127796409 cites W2048044535 @default.
- W3127796409 cites W2087031585 @default.
- W3127796409 cites W2121615522 @default.
- W3127796409 cites W2894943338 @default.
- W3127796409 cites W377720107 @default.
- W3127796409 hasPublicationYear "2021" @default.
- W3127796409 type Work @default.
- W3127796409 sameAs 3127796409 @default.
- W3127796409 citedByCount "0" @default.
- W3127796409 crossrefType "posted-content" @default.
- W3127796409 hasAuthorship W3127796409A5066305417 @default.
- W3127796409 hasAuthorship W3127796409A5088541492 @default.
- W3127796409 hasConcept C111472728 @default.
- W3127796409 hasConcept C118615104 @default.
- W3127796409 hasConcept C134306372 @default.
- W3127796409 hasConcept C136119220 @default.
- W3127796409 hasConcept C138885662 @default.
- W3127796409 hasConcept C177148314 @default.
- W3127796409 hasConcept C202444582 @default.
- W3127796409 hasConcept C2777152325 @default.
- W3127796409 hasConcept C33923547 @default.
- W3127796409 hasConcept C36503486 @default.
- W3127796409 hasConceptScore W3127796409C111472728 @default.
- W3127796409 hasConceptScore W3127796409C118615104 @default.
- W3127796409 hasConceptScore W3127796409C134306372 @default.
- W3127796409 hasConceptScore W3127796409C136119220 @default.
- W3127796409 hasConceptScore W3127796409C138885662 @default.
- W3127796409 hasConceptScore W3127796409C177148314 @default.
- W3127796409 hasConceptScore W3127796409C202444582 @default.
- W3127796409 hasConceptScore W3127796409C2777152325 @default.
- W3127796409 hasConceptScore W3127796409C33923547 @default.
- W3127796409 hasConceptScore W3127796409C36503486 @default.
- W3127796409 hasLocation W31277964091 @default.
- W3127796409 hasOpenAccess W3127796409 @default.
- W3127796409 hasPrimaryLocation W31277964091 @default.
- W3127796409 hasRelatedWork W1511090187 @default.
- W3127796409 hasRelatedWork W1976533476 @default.
- W3127796409 hasRelatedWork W1984856495 @default.
- W3127796409 hasRelatedWork W2031392871 @default.
- W3127796409 hasRelatedWork W2033995892 @default.
- W3127796409 hasRelatedWork W2035679371 @default.
- W3127796409 hasRelatedWork W2044185428 @default.
- W3127796409 hasRelatedWork W2096931278 @default.
- W3127796409 hasRelatedWork W2111056284 @default.
- W3127796409 hasRelatedWork W2122736112 @default.
- W3127796409 hasRelatedWork W2122759166 @default.
- W3127796409 hasRelatedWork W2127246914 @default.
- W3127796409 hasRelatedWork W2381348598 @default.
- W3127796409 hasRelatedWork W2587092656 @default.
- W3127796409 hasRelatedWork W2768826633 @default.
- W3127796409 hasRelatedWork W2884993066 @default.
- W3127796409 hasRelatedWork W2903654165 @default.
- W3127796409 hasRelatedWork W3047494158 @default.
- W3127796409 hasRelatedWork W3128601676 @default.
- W3127796409 hasRelatedWork W3149031245 @default.
- W3127796409 isParatext "false" @default.
- W3127796409 isRetracted "false" @default.
- W3127796409 magId "3127796409" @default.
- W3127796409 workType "article" @default.