標(biāo)題: Titlebook: Logic and Foundations of Mathematics; Selected Contributed Andrea Cantini,Ettore Casari,Pierluigi Minari Book 1999 Springer Science+Busines [打印本頁] 作者: Considerate 時間: 2025-3-21 16:27
書目名稱Logic and Foundations of Mathematics影響因子(影響力)
書目名稱Logic and Foundations of Mathematics影響因子(影響力)學(xué)科排名
書目名稱Logic and Foundations of Mathematics網(wǎng)絡(luò)公開度
書目名稱Logic and Foundations of Mathematics網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Logic and Foundations of Mathematics被引頻次
書目名稱Logic and Foundations of Mathematics被引頻次學(xué)科排名
書目名稱Logic and Foundations of Mathematics年度引用
書目名稱Logic and Foundations of Mathematics年度引用學(xué)科排名
書目名稱Logic and Foundations of Mathematics讀者反饋
書目名稱Logic and Foundations of Mathematics讀者反饋學(xué)科排名
作者: 眼界 時間: 2025-3-21 22:17 作者: 我不死扛 時間: 2025-3-22 00:33
Binary Relations in the Social and Mathematical Sciences,he condition: . converse composed with . is contained in . converse composed with .. In mathematics, binary relations were pushed into the background when it was decided that functions be single-valued and universally defined. However, they made a comeback in homological algebra, where they provide 作者: 大都市 時間: 2025-3-22 06:46
Basic Logic and the Cube of its Extensions,en by distributivity of conjunction with disjunction fails Finally, various motivations lead to the third, more recent “weakening” of classical logic. The philosophical aim of overcoming paradoxes of classical implication produced relevant logics and, later, proof-theoretical motivations and the sea作者: AVID 時間: 2025-3-22 08:50
Book 1999esent volume, we tried to combine papers containing relevant technical results in pure and applied logic with papers devoted to conceptual analyses, deeply rooted in advanced present-day research. After all, we believe this is part of the genuine spirit underlying the whole enterprise of LMPS- studi作者: 微塵 時間: 2025-3-22 16:37
Gerhard J?ger,Reinhard Kahle,Thomas Strahmezug auf Thomasius stellt sich aber vor allem die konkrete Frage, wie denn das ihm zugeschriebene apolitische, den status quo affirmie-rende Denken mit einer h?chst politischen Praxis zusammenstimmen k?nne (vgl. Wolff 1951: 406; Brückner 1977: 193f.).作者: 厭倦嗎你 時間: 2025-3-22 17:49 作者: 浪費(fèi)時間 時間: 2025-3-23 00:24 作者: Coronation 時間: 2025-3-23 03:44
Herman R. Jervellinzelnen Individuums aus, das durch Kreuzung von Individuen mit bekannten Eigenschaften entstanden ist. Vielmehr geben sie mit Bestimmtheit an, auf wie viele unter einer gro?en Zahl von Nachkommen eine bestimmte Eigenschaft eines Elternteils vererbt wird.作者: 祖?zhèn)髫敭a(chǎn) 時間: 2025-3-23 07:38 作者: 腐爛 時間: 2025-3-23 10:11 作者: 別炫耀 時間: 2025-3-23 16:42
Logic and Foundations of Mathematics978-94-017-2109-7Series ISSN 0166-6991 Series E-ISSN 2542-8292 作者: 小淡水魚 時間: 2025-3-23 20:11
https://doi.org/10.1007/978-94-017-2109-7Philosophy of Science; Rudolf Carnap; compactness theorem; logic; modal logic; model theory; predicate log作者: 舊式步槍 時間: 2025-3-24 01:14 作者: GNAW 時間: 2025-3-24 04:04
The Use of a Logical Principle of Uniform Boundedness in Analysis,This paper is part of a sequence of papers ([9–12]) resulting from our Habilitation-thesis [8] adressing the following question:.What is the impact on the growth of extractable uniform bounds the use of various analytical principles Γ in a given proof of an ??-sentence might have?作者: constitute 時間: 2025-3-24 06:38
Epsilon-Substitution Method for the Ramified Language and ,-Comprehension Rule,The epsilon substitution method is based on the language introduced by Hilbert [7]. The main non-Boolean construction of this language is .[.], read as “an . satisfying the condition .[.]”. When . is numerical, it is interpreted as the least . satisfying .[.]. Existential and universal quantifiers become explicitly definable by .作者: Delectable 時間: 2025-3-24 13:56 作者: 慷慨不好 時間: 2025-3-24 16:12
On Applicative Theories,ey soon turned out to be very important for the proof-theoretic analysis of subsystems of second order arithmetic and set theory. Moreover, systems of explicit mathematics provide a logical framework for functional programming languages.作者: 滑動 時間: 2025-3-24 21:03
On Predicate Logic as Modal Logic,. and . assignments in the universe ., i.e., elements of .., and . = .. means that for all variables . except possibly .(.) = .(.). A modal perspective on predicate logic starts from the observation that (1) is similar to the clause for diamonds in Kripke semantics:作者: 背叛者 時間: 2025-3-25 02:10 作者: Myelin 時間: 2025-3-25 04:24
Synthese Libraryhttp://image.papertrans.cn/l/image/587961.jpg作者: Inelasticity 時間: 2025-3-25 09:07
Operations, Collections and Sets within a General Axiomatic Framework,ch foundational theories appear in [3, 1] (see also [11]). Further investigations, along theses lines, have been carried out by various mathematicians, logicians and computer scientists since Spring 1994, starting from the “Basic Theories” introduced in [4] (see, e.g., [17, 6, 5, 7, 12, 13]).作者: 壕溝 時間: 2025-3-25 12:12 作者: deforestation 時間: 2025-3-25 18:41 作者: Arresting 時間: 2025-3-25 21:42 作者: 不確定 時間: 2025-3-26 01:07 作者: CANON 時間: 2025-3-26 07:16 作者: troponins 時間: 2025-3-26 09:48 作者: 白楊 時間: 2025-3-26 15:30
A First-Order Effect and Modal Propositional Formulas,ss theorem. However, by the Lindstr?m theorem (Theorem 2.5.4 [9]) these effects are very strong: both theorems together characterize first-order logic completely. It is natural to raise the question: what specific properties of first-order formulas are true for modal formulas (on interesting classes of frames).作者: 廢除 時間: 2025-3-26 19:49
0166-6991 d and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The final program counted 51 invited lectures and around 700 contributed papers, distributed in 15 sections. Following the tradition of previous LMPS-meetings, some authors, whose paper作者: 引起 時間: 2025-3-27 01:01
Book 1999rehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The final program counted 51 invited lectures and around 700 contributed papers, distributed in 15 sections. Following the tradition of previous LMPS-meetings, some authors, whose papers aroused 作者: jocular 時間: 2025-3-27 02:27 作者: 巨頭 時間: 2025-3-27 08:04
Ulrich Kohlenbachlte, mü?te ich meine Bemerkungen mit der Feststellung einleiten — und wohl auch gleich wieder beenden -, da? die griechisch-r?mische Antike nicht über einen Politikbegriff verfügte. Denn in der Tat gibt es weder im Griechischen noch im Lateinischen ein Substantiv, das unserem Wort ?Politik“ entspr?c作者: 拖債 時間: 2025-3-27 09:53 作者: Obsequious 時間: 2025-3-27 17:07 作者: 案發(fā)地點 時間: 2025-3-27 18:48 作者: 含鐵 時間: 2025-3-27 22:44 作者: GEST 時間: 2025-3-28 05:29 作者: aerobic 時間: 2025-3-28 06:30 作者: left-ventricle 時間: 2025-3-28 13:30 作者: Immobilize 時間: 2025-3-28 17:39 作者: CAGE 時間: 2025-3-28 22:30
The Abstract Compactness Theorem Revisited,riate versions of ?o? theorem one may prove [., .]-compactness of the infinitary logic .. for a measurable cardinal ., or [., .]-compactness of .(..) where .. is the quantifier “there are at least (2.). ...”. It is natural to ask then if any form of compactness in model theoretic logics is associate作者: opportune 時間: 2025-3-28 23:01
Binary Relations in the Social and Mathematical Sciences,relations appear in the rewrite systems used by anthropologists to study kinship terminologies of primitive societies. They also serve to model the syntactic calculus, a form of categorial grammar once proposed by the author. Moreover, if we introduce an operation . as the complement of the converse作者: flammable 時間: 2025-3-29 06:37
Basic Logic and the Cube of its Extensions,l logic were introduced, with the aim of expressing also at the level of logical propositions some distinctions which hold in a specific scientific context but are ignored by classical logic. The first example arises from intuitionism, which points out the distinction, when dealing with infinity, be作者: Talkative 時間: 2025-3-29 09:20 作者: anniversary 時間: 2025-3-29 12:14
On Predicate Logic as Modal Logic,. and . assignments in the universe ., i.e., elements of .., and . = .. means that for all variables . except possibly .(.) = .(.). A modal perspective on predicate logic starts from the observation that (1) is similar to the clause for diamonds in Kripke semantics:作者: 指派 時間: 2025-3-29 16:20
A First-Order Effect and Modal Propositional Formulas,rst-order equivalents on Kripke frames,. see [4]. The main typical means for obtaining such results are the L?wenheim-Skolem theorem and the compactness theorem. However, by the Lindstr?m theorem (Theorem 2.5.4 [9]) these effects are very strong: both theorems together characterize first-order logic作者: 極端的正確性 時間: 2025-3-29 21:46
,Herbrand’s Theorem for a Modal Logic,, a sequence of formulas .., .., ..,..., so that . has a first-order proof if and only if some .. is a tautology. Herbrand’s theorem serves as a constructive alternative to G?del’s completeness theorem. It provides the theoretical basis for automated theorem proving, reducing a first-order problem t作者: HEDGE 時間: 2025-3-30 03:38 作者: 預(yù)兆好 時間: 2025-3-30 05:16 作者: 宴會 時間: 2025-3-30 08:50
8樓作者: 圣歌 時間: 2025-3-30 13:04
8樓作者: FLEET 時間: 2025-3-30 18:00
8樓作者: 含鐵 時間: 2025-3-30 23:55
8樓作者: exceptional 時間: 2025-3-31 04:41
9樓作者: 果核 時間: 2025-3-31 06:16
9樓作者: Watemelon 時間: 2025-3-31 12:21
9樓作者: 食料 時間: 2025-3-31 13:34
9樓作者: Epithelium 時間: 2025-3-31 17:58
10樓作者: floaters 時間: 2025-4-1 00:50
10樓作者: 座右銘 時間: 2025-4-1 04:37
10樓作者: 魯莽 時間: 2025-4-1 06:06
10樓
