Matches in SemOpenAlex for { <https://semopenalex.org/work/W1871349904> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1871349904 abstract "In this paper we considered the extension of the First-order Logic (FOL) by Bealer's intensional abstraction operator. Contemporary use of the term 'intension' derives from the traditional logical Frege-Russell's doctrine that an idea (logic formula) has both an extension and an intension. Although there is divergence in formulation, it is accepted that the extension of an idea consists of the subjects to which the idea applies, and the intension consists of the attributes implied by the idea. From the Montague's point of view, the meaning of an idea can be considered as particular extensions in different possible worlds. In the case of the pure FOL we obtain commutative homomorphic diagram that holds in each given possible world of the intensional FOL, from the free algebra of the FOL syntax, toward its intensional algebra of concepts, and, successively, to the new extensional relational algebra (different from Cylindric algebras). Then we show that it corresponds to the Tarski's interpretation of the standard extensional FOL in this possible world." @default.
- W1871349904 created "2016-06-24" @default.
- W1871349904 creator A5068834489 @default.
- W1871349904 date "2011-03-04" @default.
- W1871349904 modified "2023-09-27" @default.
- W1871349904 title "Intensionality and Two-steps Interpretations" @default.
- W1871349904 cites W115640366 @default.
- W1871349904 cites W151372698 @default.
- W1871349904 cites W1518879809 @default.
- W1871349904 cites W1684098279 @default.
- W1871349904 cites W184880254 @default.
- W1871349904 cites W1989383196 @default.
- W1871349904 cites W2109749403 @default.
- W1871349904 cites W2155535944 @default.
- W1871349904 cites W2160745555 @default.
- W1871349904 cites W2165467455 @default.
- W1871349904 cites W2221226320 @default.
- W1871349904 cites W2798598542 @default.
- W1871349904 hasPublicationYear "2011" @default.
- W1871349904 type Work @default.
- W1871349904 sameAs 1871349904 @default.
- W1871349904 citedByCount "0" @default.
- W1871349904 crossrefType "posted-content" @default.
- W1871349904 hasAuthorship W1871349904A5068834489 @default.
- W1871349904 hasConcept C111472728 @default.
- W1871349904 hasConcept C118615104 @default.
- W1871349904 hasConcept C124304363 @default.
- W1871349904 hasConcept C136119220 @default.
- W1871349904 hasConcept C136137745 @default.
- W1871349904 hasConcept C138885662 @default.
- W1871349904 hasConcept C151730666 @default.
- W1871349904 hasConcept C184337299 @default.
- W1871349904 hasConcept C199360897 @default.
- W1871349904 hasConcept C202444582 @default.
- W1871349904 hasConcept C2778029271 @default.
- W1871349904 hasConcept C2780432614 @default.
- W1871349904 hasConcept C2780876879 @default.
- W1871349904 hasConcept C33923547 @default.
- W1871349904 hasConcept C41008148 @default.
- W1871349904 hasConcept C41895202 @default.
- W1871349904 hasConcept C527412718 @default.
- W1871349904 hasConcept C60048249 @default.
- W1871349904 hasConcept C61341680 @default.
- W1871349904 hasConcept C77928131 @default.
- W1871349904 hasConcept C86803240 @default.
- W1871349904 hasConceptScore W1871349904C111472728 @default.
- W1871349904 hasConceptScore W1871349904C118615104 @default.
- W1871349904 hasConceptScore W1871349904C124304363 @default.
- W1871349904 hasConceptScore W1871349904C136119220 @default.
- W1871349904 hasConceptScore W1871349904C136137745 @default.
- W1871349904 hasConceptScore W1871349904C138885662 @default.
- W1871349904 hasConceptScore W1871349904C151730666 @default.
- W1871349904 hasConceptScore W1871349904C184337299 @default.
- W1871349904 hasConceptScore W1871349904C199360897 @default.
- W1871349904 hasConceptScore W1871349904C202444582 @default.
- W1871349904 hasConceptScore W1871349904C2778029271 @default.
- W1871349904 hasConceptScore W1871349904C2780432614 @default.
- W1871349904 hasConceptScore W1871349904C2780876879 @default.
- W1871349904 hasConceptScore W1871349904C33923547 @default.
- W1871349904 hasConceptScore W1871349904C41008148 @default.
- W1871349904 hasConceptScore W1871349904C41895202 @default.
- W1871349904 hasConceptScore W1871349904C527412718 @default.
- W1871349904 hasConceptScore W1871349904C60048249 @default.
- W1871349904 hasConceptScore W1871349904C61341680 @default.
- W1871349904 hasConceptScore W1871349904C77928131 @default.
- W1871349904 hasConceptScore W1871349904C86803240 @default.
- W1871349904 hasLocation W18713499041 @default.
- W1871349904 hasOpenAccess W1871349904 @default.
- W1871349904 hasPrimaryLocation W18713499041 @default.
- W1871349904 hasRelatedWork W1242562868 @default.
- W1871349904 hasRelatedWork W1505743816 @default.
- W1871349904 hasRelatedWork W1564679921 @default.
- W1871349904 hasRelatedWork W1684098279 @default.
- W1871349904 hasRelatedWork W1747803946 @default.
- W1871349904 hasRelatedWork W1760954332 @default.
- W1871349904 hasRelatedWork W1967037961 @default.
- W1871349904 hasRelatedWork W1991307660 @default.
- W1871349904 hasRelatedWork W2008685607 @default.
- W1871349904 hasRelatedWork W2024878280 @default.
- W1871349904 hasRelatedWork W2046499356 @default.
- W1871349904 hasRelatedWork W2079077049 @default.
- W1871349904 hasRelatedWork W2108840809 @default.
- W1871349904 hasRelatedWork W2144751108 @default.
- W1871349904 hasRelatedWork W2167626756 @default.
- W1871349904 hasRelatedWork W2523009024 @default.
- W1871349904 hasRelatedWork W2617711138 @default.
- W1871349904 hasRelatedWork W2776389421 @default.
- W1871349904 hasRelatedWork W2809627437 @default.
- W1871349904 hasRelatedWork W312113401 @default.
- W1871349904 isParatext "false" @default.
- W1871349904 isRetracted "false" @default.
- W1871349904 magId "1871349904" @default.
- W1871349904 workType "article" @default.