標(biāo)題: Titlebook: Applied Logic: How, What and Why; Logical Approaches t László Pólos,Michael Masuch Book 1995 Springer Science+Business Media Dordrecht 1995 [打印本頁] 作者: Enlightening 時(shí)間: 2025-3-21 16:09
書目名稱Applied Logic: How, What and Why影響因子(影響力)
書目名稱Applied Logic: How, What and Why影響因子(影響力)學(xué)科排名
書目名稱Applied Logic: How, What and Why網(wǎng)絡(luò)公開度
書目名稱Applied Logic: How, What and Why網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Applied Logic: How, What and Why被引頻次
書目名稱Applied Logic: How, What and Why被引頻次學(xué)科排名
書目名稱Applied Logic: How, What and Why年度引用
書目名稱Applied Logic: How, What and Why年度引用學(xué)科排名
書目名稱Applied Logic: How, What and Why讀者反饋
書目名稱Applied Logic: How, What and Why讀者反饋學(xué)科排名
作者: 好忠告人 時(shí)間: 2025-3-21 23:49 作者: FILLY 時(shí)間: 2025-3-22 03:43
https://doi.org/10.1007/978-3-642-15736-3 instruments of Situation Theory (Barwise and Perry, 1983; Barwise and Cooper, 1994). We think that previous ventures, such as Discourse Representation Theory (DRT) (Kamp, 1981), and File Change Semantics (Heim, 1982; 1983), have certain shortcomings that Situation Theory may overcome.作者: Cirrhosis 時(shí)間: 2025-3-22 04:36
Xiaohua Tian,Thinh M. Le,Yong Lianf a sentence is derived from the meanings of the components of the sentence. The syntactic form of the sentence tells us . we have to combine the meanings of the components to get the interpretation of the sentence as a whole. This program has been applied succesfully to a wide range of phenomena in sentential semantics.作者: 樂意 時(shí)間: 2025-3-22 11:42 作者: flourish 時(shí)間: 2025-3-22 14:12 作者: 迎合 時(shí)間: 2025-3-22 20:43
Entropie, Umweltschutz und RohstoffverbrauchMathematical models are important not only because they enable an observer to make testable predicitions about some phenomenon, but also because they are the tools with which the theoretician organizes observations and decides what to study.作者: Cultivate 時(shí)間: 2025-3-22 23:02
The Entropy of Monatomic Gases,It is well known, and notoriously problematic, that the meanings of noun phrases have both referential and descriptive aspects. The interplay between these elements is largely responsible for the intricacies of applications of logic to the semantics of single sentence.作者: Arteriography 時(shí)間: 2025-3-23 03:21
Are Types Needed for Natural Language?,Mixing type freeness and logic leads to contradictions. This can be seen by taking the following simple example.作者: formula 時(shí)間: 2025-3-23 08:16
Implicit and Explicit Definability in Modal and Temporal Logics,Interpolation and definability play an important part in the mathematical logic. We consider different versions of these properties. Let . be any propositional logic.作者: Infusion 時(shí)間: 2025-3-23 12:05 作者: Fulsome 時(shí)間: 2025-3-23 15:24
Dynamic Aspect Trees,It is well known, and notoriously problematic, that the meanings of noun phrases have both referential and descriptive aspects. The interplay between these elements is largely responsible for the intricacies of applications of logic to the semantics of single sentence.作者: 半身雕像 時(shí)間: 2025-3-23 18:35
Synthese Libraryhttp://image.papertrans.cn/a/image/159910.jpg作者: connoisseur 時(shí)間: 2025-3-24 00:03
https://doi.org/10.1007/978-94-015-8533-0Index; Syntax; Tempora; aspect; language; logic; modal logic; natural language; philosophy of language; seman作者: Exploit 時(shí)間: 2025-3-24 03:45 作者: 合并 時(shí)間: 2025-3-24 07:42 作者: 憤憤不平 時(shí)間: 2025-3-24 13:18 作者: 易怒 時(shí)間: 2025-3-24 18:33
Malte Faber,Horst Niemes,Gunter Stephan 1983) (Enjalbert Fari?as del Cerro, 1986), there are translation methods that rely on an embedding of the Kripke semantics into first-order logic. Translation methods may carry an advantage in that they are modular, and offer the possibility to re-use the tools, strategies, provers... that have bee作者: 高貴領(lǐng)導(dǎo) 時(shí)間: 2025-3-24 21:03 作者: Highbrow 時(shí)間: 2025-3-25 01:22
https://doi.org/10.1007/978-3-642-15736-3 instruments of Situation Theory (Barwise and Perry, 1983; Barwise and Cooper, 1994). We think that previous ventures, such as Discourse Representation Theory (DRT) (Kamp, 1981), and File Change Semantics (Heim, 1982; 1983), have certain shortcomings that Situation Theory may overcome.作者: 拒絕 時(shí)間: 2025-3-25 05:31
https://doi.org/10.1007/978-3-642-15736-3initial state is specified in which the machine starts, faced with a word . over a finite input alphabet ∑. A finite transition table specifies the possibilities to change states, consuming a certain prefix of the actual rest of the input word. The automaton accepts a word if it is possible to event作者: 細(xì)胞 時(shí)間: 2025-3-25 10:28 作者: EXCEL 時(shí)間: 2025-3-25 15:40 作者: spinal-stenosis 時(shí)間: 2025-3-25 17:48 作者: 不能強(qiáng)迫我 時(shí)間: 2025-3-25 22:44
Pragmatic Reasoning,easoning is thus . and .. In particular, it is ., as conclusions are not affected by additional premises. By contrast, . concerned with what follows from the premises in a given context. If the context changes, the pragmatic conclusions may change also. Pragmatic reasoning is thus .. Consider the following argument 作者: 思想靈活 時(shí)間: 2025-3-26 02:05
Information States in Situation Theory, instruments of Situation Theory (Barwise and Perry, 1983; Barwise and Cooper, 1994). We think that previous ventures, such as Discourse Representation Theory (DRT) (Kamp, 1981), and File Change Semantics (Heim, 1982; 1983), have certain shortcomings that Situation Theory may overcome.作者: DNR215 時(shí)間: 2025-3-26 04:35
Update Semantics for Propositional Texts,f a sentence is derived from the meanings of the components of the sentence. The syntactic form of the sentence tells us . we have to combine the meanings of the components to get the interpretation of the sentence as a whole. This program has been applied succesfully to a wide range of phenomena in sentential semantics.作者: 完全 時(shí)間: 2025-3-26 08:36 作者: HAUNT 時(shí)間: 2025-3-26 16:06
Book 1995 in dynamic semantics are systematically investigated.Othermethodological issues in the formal studies of natural language arediscussed, such as the need for types, modal operators and otherlogical operators in the formal framework. Further articles addressthe scope of these methodological issues fr作者: BLA 時(shí)間: 2025-3-26 19:16 作者: Insulin 時(shí)間: 2025-3-26 21:58 作者: Arbitrary 時(shí)間: 2025-3-27 03:36 作者: 夾克怕包裹 時(shí)間: 2025-3-27 05:43
Indexical Dynamics,ccount of quantification which does not make use of a variable binding mechanism. The second is the use of dynamic semantics which means here that the context in which one part of language is interpreted is itself dependent on how other parts have already been interpreted. The third idea is a new ac作者: Immobilize 時(shí)間: 2025-3-27 09:37
Information States in Situation Theory, instruments of Situation Theory (Barwise and Perry, 1983; Barwise and Cooper, 1994). We think that previous ventures, such as Discourse Representation Theory (DRT) (Kamp, 1981), and File Change Semantics (Heim, 1982; 1983), have certain shortcomings that Situation Theory may overcome.作者: Blatant 時(shí)間: 2025-3-27 14:48
Logic Finite Automata,initial state is specified in which the machine starts, faced with a word . over a finite input alphabet ∑. A finite transition table specifies the possibilities to change states, consuming a certain prefix of the actual rest of the input word. The automaton accepts a word if it is possible to event作者: 極少 時(shí)間: 2025-3-27 20:43
Logic as a Foundation for a Cognitive Theory of Modality Assignment,, 1983; Rips, 1986)). Instead of regarding a logic as an abstract consequence relation which can be implemented in many mechanisms, they have tended to assume that a direct implementation of their favourite pencil-and-paper method of doing logic (often a natural deduction system) is the only mechani作者: overhaul 時(shí)間: 2025-3-28 00:46
Meeting a Modality?,utation, weakening or contraction. Such logics have received a lot of attention in recent years, partly because of their interest for applications in e.g. computer science (linear logic, cf. Girard (1987)) or linguistics (Lambek Calculus, cf. Lambek (1961) for the original article, or Moortgat (1988作者: 船員 時(shí)間: 2025-3-28 04:25
Update Semantics for Propositional Texts,f a sentence is derived from the meanings of the components of the sentence. The syntactic form of the sentence tells us . we have to combine the meanings of the components to get the interpretation of the sentence as a whole. This program has been applied succesfully to a wide range of phenomena in作者: 通便 時(shí)間: 2025-3-28 07:55
Book 1995applied logic‘ has a very wide meaning, asnumerous applications of logical methods in computer science, formallinguistics and other fields testify. Such applications are by nomeans restricted to the use of known logical techniques: at its best,applied logic involves a back-and-forth dialogue between作者: 游行 時(shí)間: 2025-3-28 12:00 作者: 巧辦法 時(shí)間: 2025-3-28 15:25 作者: 慷慨援助 時(shí)間: 2025-3-28 22:21 作者: 排名真古怪 時(shí)間: 2025-3-29 01:41 作者: Harass 時(shí)間: 2025-3-29 06:35
Malte Faber,Horst Niemes,Gunter Stephan context in which one part of language is interpreted is itself dependent on how other parts have already been interpreted. The third idea is a new account of anaphoric pronouns which leaves them unindexed in the syntax and leaves their interpretation relative to the context in which they are found.作者: 替代品 時(shí)間: 2025-3-29 09:58
https://doi.org/10.1007/978-3-642-15736-3ssibilities to change states, consuming a certain prefix of the actual rest of the input word. The automaton accepts a word if it is possible to eventually reach an accepting state with the empty word, choosing appropriate transitions.作者: colostrum 時(shí)間: 2025-3-29 13:02 作者: 職業(yè) 時(shí)間: 2025-3-29 17:30
Indexical Dynamics, context in which one part of language is interpreted is itself dependent on how other parts have already been interpreted. The third idea is a new account of anaphoric pronouns which leaves them unindexed in the syntax and leaves their interpretation relative to the context in which they are found.作者: AWL 時(shí)間: 2025-3-29 22:57 作者: Antarctic 時(shí)間: 2025-3-30 00:21 作者: Gorilla 時(shí)間: 2025-3-30 07:13
Xiaohua Tian,Thinh M. Le,Yong Lian structural rules from a standard derivation system for let’s say intuitionistic logic. Of this landscape, Wansing (1993) draws a partial map in the form of a lattice, set-inclusion of the derivable sequents being the ordering.作者: 音的強(qiáng)弱 時(shí)間: 2025-3-30 08:58 作者: 復(fù)習(xí) 時(shí)間: 2025-3-30 15:34
Meeting a Modality?, structural rules from a standard derivation system for let’s say intuitionistic logic. Of this landscape, Wansing (1993) draws a partial map in the form of a lattice, set-inclusion of the derivable sequents being the ordering.作者: 產(chǎn)生 時(shí)間: 2025-3-30 19:19
Computational Methods in Systems Biology978-3-319-23401-4Series ISSN 0302-9743 Series E-ISSN 1611-3349
