Cargando…

Proof theory for fuzzy logics

Detalles Bibliográficos
Autores principales:	Metcalfe, G, Olivetti, Nicola, Gabbay, Dov
Lenguaje:	eng
Publicado:	Springer 2009
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-1-4020-9409-5 http://cds.cern.ch/record/1252968

Ejemplares similares

Goal-directed proof theory
por: Gabbay, Dov M, et al.
Publicado: (2000)

Mathematical problems from applied logic: logics for the XXIst century
por: Gabbay, Dov, et al.
Publicado: (2006)

Proof theory of modal logic
por: Wansing, Heinrich
Publicado: (1996)

Fuzzy logic: theory, programming and applications
por: Vargas, Raymond E
Publicado: (2010)

Integration of fuzzy logic and chaos theory
por: Li, Zhong, et al.
Publicado: (2005)

Hybrid Logic and its Proof-Theory
por: Brauner, Torben
Publicado: (2011)

Advances in temporal logic
por: Barringer, Howard, et al.
Publicado: (2000)

Application of fuzzy logic to social choice theory
por: Mordeson, John N, et al.
Publicado: (2015)

Fuzzy logic: Einführung in Theorie und Anwendungen
por: Bothe, Hans Heinrich
Publicado: (1993)

The semantics and proof theory of the logic of bunched implications
por: Pym, David J
Publicado: (2002)

Fuzzy logic
por: Smets, P
Publicado: (1995)

Fuzzy logic
por: Baldwin, J F
Publicado: (1996)

Mathematics of fuzzy sets: logic, topology, and measure theory
por: Höhle, Ulrich, et al.
Publicado: (1999)

Mathematics of Fuzzy Sets and Fuzzy Logic
por: Bede, Barnabas
Publicado: (2013)

Fuzzy logic tools
por: Barragán Piña, Antonio
Publicado: (2012)

Metamathematics of fuzzy logic
por: Hájek, Petr
Publicado: (1998)

Fuzzy equational logic
por: Belohlávek, Radim, et al.
Publicado: (2005)

Fuzzy logic in management
por: Carlsson, Christer, et al.
Publicado: (2004)

Fuzzy logic models and fuzzy control: an introduction
por: Hooda, DS, et al.
Publicado: (2016)

An introduction to mathematical logic and type theory to truth through proof
por: Andrews, Peter B
Publicado: (2002)

Many-dimensional modal logics: theory and applications
por: Gabbay, D M, et al.
Publicado: (2003)

Fuzzy logic with engineering applications
por: Ross, Timothy J
Publicado: (2004)

Fuzzy logic: implementation and applications
por: Patyra, Marek J
Publicado: (1996)

Fuzzy logic and intelligent systems
por: Zimmermann, Hans-Jürgen
Publicado: (1995)

Mathematical principles of fuzzy logic
por: Novák, Vilém, et al.
Publicado: (1999)

Analysis and synthesis of logics: how to cut and paste reasoning systems
por: Carnielli, Walter A, et al.
Publicado: (2008)

Logical Foundations of Proof Complexity
por: Cook, Stephen, et al.
Publicado: (2010)

A Logical Introduction to Proof
por: Cunningham, Daniel W
Publicado: (2012)

A first course in fuzzy logic
por: Nguyen, Hung T, et al.
Publicado: (2018)

Fuzzy logic applications in engineering science
por: Harris, J, et al.
Publicado: (2006)

Petr Hájek on mathematical fuzzy logic
por: Montagna, Franco
Publicado: (2014)

Fuzzy logic for planning and decision making
por: Lootsma, Freerk A
Publicado: (1997)

Fuzzy logic foundations and industrial applications
por: Ruan, Da
Publicado: (1996)

2nd Italian Workshop on Fuzzy Logic
por: Blonda, P, et al.
Publicado: (1998)

Symbolic logic: syntax, semantics, and proof
por: Agler, David
Publicado: (2012)

Introduction to fuzzy logic applications in intelligent systems
por: Mitchell, Tom, et al.
Publicado: (1992)

Fuzzy logic and control: software and hardware applications
por: Ross, Timothy J, et al.
Publicado: (1993)

Fuzzy logic: mathematical tools for approximate reasoning
por: Gerla, Giangiacomo
Publicado: (2001)

Fuzzy sets, logics and reasoning about knowledge
por: Dubois, Didier, et al.
Publicado: (1999)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C J, et al.
Publicado: (1994)

Cannot write session to /tmp/vufind_sessions/sess_amqkh1fcqvjgum3b4tsf4sfpnb