Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950712658> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2950712658 abstract "We study $[0,1]$-valued logics that are closed under the Łukasiewicz-Pavelka connectives; our primary examples are the the continuous logic framework of Ben Yaacov and Usvyatsov cite{Ben-Yaacov-Usvyatsov:2010} and the Łukasziewicz-Pavelka logic itself. The main result of the paper is a characterization of these logics in terms of a model-theoretic property, namely, an extension of the omitting types theorem to uncountable languages." @default.
- W2950712658 created "2019-06-27" @default.
- W2950712658 creator A5054305320 @default.
- W2950712658 creator A5056456551 @default.
- W2950712658 date "2012-02-27" @default.
- W2950712658 modified "2023-09-27" @default.
- W2950712658 title "Omitting uncountable types, and the strength of $[0,1]$-valued logics" @default.
- W2950712658 cites W1542113445 @default.
- W2950712658 cites W1553230187 @default.
- W2950712658 cites W2025952124 @default.
- W2950712658 cites W2040277462 @default.
- W2950712658 cites W2060401660 @default.
- W2950712658 cites W2067980579 @default.
- W2950712658 cites W2110182592 @default.
- W2950712658 cites W2116352772 @default.
- W2950712658 cites W2122808108 @default.
- W2950712658 cites W2141313404 @default.
- W2950712658 cites W2149736013 @default.
- W2950712658 cites W2152009173 @default.
- W2950712658 cites W2326155258 @default.
- W2950712658 cites W2181564913 @default.
- W2950712658 hasPublicationYear "2012" @default.
- W2950712658 type Work @default.
- W2950712658 sameAs 2950712658 @default.
- W2950712658 citedByCount "0" @default.
- W2950712658 crossrefType "posted-content" @default.
- W2950712658 hasAuthorship W2950712658A5054305320 @default.
- W2950712658 hasAuthorship W2950712658A5056456551 @default.
- W2950712658 hasConcept C110729354 @default.
- W2950712658 hasConcept C111472728 @default.
- W2950712658 hasConcept C118615104 @default.
- W2950712658 hasConcept C120665830 @default.
- W2950712658 hasConcept C121332964 @default.
- W2950712658 hasConcept C138885662 @default.
- W2950712658 hasConcept C142399903 @default.
- W2950712658 hasConcept C144237770 @default.
- W2950712658 hasConcept C189950617 @default.
- W2950712658 hasConcept C199360897 @default.
- W2950712658 hasConcept C202444582 @default.
- W2950712658 hasConcept C2778029271 @default.
- W2950712658 hasConcept C2780841128 @default.
- W2950712658 hasConcept C33923547 @default.
- W2950712658 hasConcept C41008148 @default.
- W2950712658 hasConceptScore W2950712658C110729354 @default.
- W2950712658 hasConceptScore W2950712658C111472728 @default.
- W2950712658 hasConceptScore W2950712658C118615104 @default.
- W2950712658 hasConceptScore W2950712658C120665830 @default.
- W2950712658 hasConceptScore W2950712658C121332964 @default.
- W2950712658 hasConceptScore W2950712658C138885662 @default.
- W2950712658 hasConceptScore W2950712658C142399903 @default.
- W2950712658 hasConceptScore W2950712658C144237770 @default.
- W2950712658 hasConceptScore W2950712658C189950617 @default.
- W2950712658 hasConceptScore W2950712658C199360897 @default.
- W2950712658 hasConceptScore W2950712658C202444582 @default.
- W2950712658 hasConceptScore W2950712658C2778029271 @default.
- W2950712658 hasConceptScore W2950712658C2780841128 @default.
- W2950712658 hasConceptScore W2950712658C33923547 @default.
- W2950712658 hasConceptScore W2950712658C41008148 @default.
- W2950712658 hasLocation W29507126581 @default.
- W2950712658 hasOpenAccess W2950712658 @default.
- W2950712658 hasPrimaryLocation W29507126581 @default.
- W2950712658 hasRelatedWork W1485117610 @default.
- W2950712658 hasRelatedWork W149905435 @default.
- W2950712658 hasRelatedWork W1802022415 @default.
- W2950712658 hasRelatedWork W1978452764 @default.
- W2950712658 hasRelatedWork W1994028186 @default.
- W2950712658 hasRelatedWork W2018304653 @default.
- W2950712658 hasRelatedWork W2026099031 @default.
- W2950712658 hasRelatedWork W2076945216 @default.
- W2950712658 hasRelatedWork W2091870191 @default.
- W2950712658 hasRelatedWork W2147886988 @default.
- W2950712658 hasRelatedWork W2154006907 @default.
- W2950712658 hasRelatedWork W2154664465 @default.
- W2950712658 hasRelatedWork W2188204773 @default.
- W2950712658 hasRelatedWork W2247935094 @default.
- W2950712658 hasRelatedWork W2277396649 @default.
- W2950712658 hasRelatedWork W2333373577 @default.
- W2950712658 hasRelatedWork W2607375259 @default.
- W2950712658 hasRelatedWork W2739977479 @default.
- W2950712658 hasRelatedWork W50822504 @default.
- W2950712658 hasRelatedWork W637989598 @default.
- W2950712658 isParatext "false" @default.
- W2950712658 isRetracted "false" @default.
- W2950712658 magId "2950712658" @default.
- W2950712658 workType "article" @default.