Proof Theory for Fuzzy Logics

>> Google Books

Proof Theory for Fuzzy Logics

フォーマット:

電子ブック

責任表示:

by George Metcalfe, Nicola Olivetti, Dov Gabbay ; edited by Dov M. Gabbay, Jon Barwise

言語:

英語

出版情報:

Dordrecht : Springer Netherlands, 2009

形態:

v.: digital

著者名:

SpringerLink (Online service)

続きを見る

シリーズ名:

Applied Logic Series ; 36

書誌ID:

NB02222094

ISBN:

9781402094095 [1402094094]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-1-4020-9409-5

所蔵情報

タイトルが類似している資料

詳細

主題:	Artificial Intelligence (incl. Robotics); Logic; Mathematical Logic and Foundations; Mathematics; Order, Lattices, Ordered Algebraic Structures
分類・件名:	LCSH : Algebra LCSH : Artificial intelligence LCSH : Logic LCSH : Logic, Symbolic and mathematical FREE : Mathematics FREE : Artificial Intelligence (incl. Robotics) FREE : Logic FREE : Mathematical Logic and Foundations FREE : Order, Lattices, Ordered Algebraic Structures
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Conditionals and Modularity in General Logics Gabbay, Dov M., Schlechta, Karl, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	7 電子ブック Mathematical Problems from Applied Logic II : Logics for the XXIst Century Gabbay, Dov M., Goncharov, Sergei S., Zakharyaschev, Michael, SpringerLink (Online service) Springer Science+Business Media, LLC
2 電子ブック Mathematical Problems from Applied Logic I : Logics for the XXIst Century Gabbay, Dov M., Goncharov, Sergei S., Zakharyaschev, Michael, SpringerLink (Online service) Springer Science+Business Media, Inc.	8 電子ブック A Course in Mathematical Logic for Mathematicians Manin, Yu. I., SpringerLink (Online service) Springer-Verlag New York
3 電子ブック Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula, Sernadas, Cristina, SpringerLink (Online service) Springer Science+Business Media B.V.	9 電子ブック Set Theory : Centre de Recerca Matematica Barcelona, 2003-2004 Bagaria, Joan, Todorcevic, Stevo, SpringerLink (Online service) Birkhauser Verlag
4 電子ブック Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV Wojcicki, Ryszard, Hendricks, Vincent F., Makinson, David, Malinowski, Jacek, Mundici, Daniele, Or?owska, Ewa, … Springer Netherlands	10 電子ブック Natural Deduction, Hybrid Systems and Modal Logics Indrzejczak, Andrzej, SpringerLink (Online service) Springer Science+Business Media B.V.
5 電子ブック The Congruences of a Finite Lattice : A Proof-by-Picture Approach Gratzer, George, SpringerLink (Online service) Birkhauser Boston	11 電子ブック Handbook of Set Theory Foreman, Matthew, Kanamori, Akihiro, SpringerLink (Online service) Springer Science+Business Media B.V.
6 電子ブック Hybrid Logic and its Proof-Theory Braüner, Torben, SpringerLink (Online service) Springer Science+Business Media B.V.	12 電子ブック Logicism, Intuitionism, and Formalism : What has Become of Them? Hendricks, Vincent F., Dalen, Dirk, Kuipers, Theo A.F., Lindstrom, Sten, Palmgren, Erik, Segerberg, Krister, Seidenfeld, … Springer Netherlands