Cargando…

What is negation?

Detalles Bibliográficos
Autores principales:	Gabbay, Dov, Wansing, Heinrich
Lenguaje:	eng
Publicado:	Springer 1999
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-94-015-9309-0 http://cds.cern.ch/record/1620615

Ejemplares similares

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

Displaying modal logic
por: Wansing, Heinrich
Publicado: (1998)

Truth and falsehood: an inquiry into generalized logical values
por: Shramko, Yaroslav, et al.
Publicado: (2012)

Conference Trends in Logic XI
por: Ciuni, Roberto, et al.
Publicado: (2014)

Belief change
por: Gabbay, Dov, et al.
Publicado: (1998)

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 for fuzzy logics
por: Metcalfe, G, et al.
Publicado: (2009)

Philosophy of mathematics
por: Gabbay, Dov M, et al.
Publicado: (2009)

Handbook of defeasible reasoning and uncertainty management systems: algorithms for uncertainty and defeasible reasoning
por: Gabbay, Dov M, et al.
Publicado: (2000)

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

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

Labelled deduction
por: Basin, David, et al.
Publicado: (2000)

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

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

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

Handbook of the logic of argument and inference: the turn towards the practical
por: Gabbay, D M, et al.
Publicado: (2002)

What is the genus?
por: Popescu-Pampu, Patrick
Publicado: (2016)

The geometric supposer: what is it a case of?
por: Schwartz, Judah L, et al.
Publicado: (1993)

What's new in SAS 9.3
por: SAS Institute
Publicado: (2011)

Geometry, topology, and dynamics in negative curvature
por: Aravinda, C S, et al.
Publicado: (2016)

Non-negative matrices and Markov chains
por: Seneta, E
Publicado: (2006)

What is random?: chance and order in mathematics and life
por: Beltrami, Edward
Publicado: (1999)

What goes up...: gravity and scientific method
por: Kosso, Peter
Publicado: (2017)

Arithmetic groups and their generalizations: what, why, and how
por: Ji, Lizhen
Publicado: (2010)

Dealing with statistics: what you need to know
por: Brown, Reva Berman, et al.
Publicado: (2007)

What is mathematics: an elementary approach to ideas and methods
por: Courant, Richard, et al.
Publicado: (1958)

What is random?: chance and order in mathematics and life
por: Beltrami, Edward
Publicado: (2020)

Geometry of manifolds with non-negative sectional curvature
por: Dearricott, Owen, et al.
Publicado: (2014)

Analytic and probabilistic approaches to dynamics in negative curvature
por: Dal'Bo, Françoise, et al.
Publicado: (2014)

What we know about mathematics teaching and learning
por: McREL
Publicado: (2010)

New computational paradigms: changing conceptions of what is computable
por: Cooper, SB, et al.
Publicado: (2007)

From zero to infinity: what makes numbers interesting
por: Reid, Constance
Publicado: (2006)

What is a natural norm for multi channel image processing
por: Kimmel, R
Publicado: (1997)

The proof and the pudding: what mathematicians, cooks, and you have in common
por: Henle, Jim
Publicado: (2015)

Negative Binomial Regression: Understanding and Modeling Overdispersed Count Data
por: Hilbe, Joseph M
Publicado: (2011)

Discrete surfaces with constant negative Gaussian curvature and the Hirota equation
por: Bobenko, Alexander I, et al.
Publicado: (1994)

Exploiting negative curvature directions in linesearch methods for unconstrained optimization
por: Gould, N I M, et al.
Publicado: (1997)

Negative math: how mathematical rules can be positively bent
por: Martínez, Alberto A
Publicado: (2014)

Variance reduction for Monte Carlo methods by means of deterministic numerical computation
por: Heinrich, S
Publicado: (1995)

Cannot write session to /tmp/vufind_sessions/sess_jk9es6mrnu1so8bpnfspdbna14