Cargando…

Dynamics of judicial proof: computation, logic, and common sense

Detalles Bibliográficos
Autores principales:	Kacprzyk, Janusz, MacCrimmon, Marilyn, Tillers, Peter
Lenguaje:	eng
Publicado:	Physica-Verlag 2002
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/2697516

Ejemplares similares

Lattice-valued logic: an alternative approach to treat fuzziness and incomparability
por: Kacprzyk, Janusz, et al.
Publicado: (2003)

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

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

Proof theory for fuzzy logics
por: Metcalfe, G, et al.
Publicado: (2009)

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

Modelling dynamics in processes and systems
por: Kacprzyk, Janusz, et al.
Publicado: (2009)

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

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

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

Introduction to discrete mathematics via logic and proof
por: Jongsma, Calvin
Publicado: (2019)

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

Conditional and preferential logics: proof methods and theorem proving
por: Pozzato, GL
Publicado: (2010)

Dynamical aspects in fuzzy decision making
por: Kacprzyk, Janusz, et al.
Publicado: (2001)

Computability and Logic
por: Boolos, George S, et al.
Publicado: (2002)

Computability and logic
por: Boolos, George S, et al.
Publicado: (2007)

Computability and Logic
por: Boolos, George S, et al.
Publicado: (2007)

Logic and computations
por: Jervell, Herman Ruge
Publicado: (2012)

Protoalgebraic logics
por: Czelakowski, Janusz
Publicado: (2001)

Logicism renewed: logical foundations for mathematics and computer science
por: Gilmore, Paul C
Publicado: (2005)

Proofs and Computations
por: Schwichtenberg, Helmut, et al.
Publicado: (2011)

Logic, language and computation
por: Akama, Seiki
Publicado: (1997)

Computability, complexity, logic
por: Börger, Egon
Publicado: (1989)

Logic, computers, and sets
por: Wang Hao
Publicado: (1970)

Logic for computer scientists
por: Schöning, Uwe
Publicado: (2008)

Quantum computation and logic: how quantum computers have inspired logical investigations
por: Dalla Chiara, Maria Luisa, et al.
Publicado: (2018)

Well-quasi orders in computation, logic, language and reasoning: a unifying concept of proof theory, automata theory, formal languages and descriptive set theory
por: Schuster, Peter, et al.
Publicado: (2020)

The computational complexity of logical theories
por: Ferrante, Jeanne, et al.
Publicado: (1979)

Linear logic in computer science
por: Ehrhard, Thomas, et al.
Publicado: (2004)

Logics in computer science: a study on extensions of temporal and strategic logics
por: Mogavero, Fabio
Publicado: (2013)

Computer aided proofs in analysis
por: Meyer, Kenneth, et al.
Publicado: (1991)

Logical and computational aspects of model-based reasoning
por: Magnani, Lorenzo, et al.
Publicado: (2002)

International Symposium on Logical Foundations of Computer Science
por: Artemov, Sergei, et al.
Publicado: (2020)

Computation, logic, philosophy: a collection of essays
por: Wang, Hao
Publicado: (1989)

Computer-assisted proof of universality for area-preving maps
por: Eckmann, Jean-Pierre, et al.
Publicado: (1984)

Cardinalities of fuzzy sets
por: Kacprzyk, Janusz, et al.
Publicado: (1984)

Fuzzy cooperative games: cooperation with vague expectations
por: Kacprzyk, Janusz, et al.
Publicado: (2001)

The ordered weighted averaging operators: theory and applications
por: Yager, Ronald, et al.
Publicado: (1997)

Fuzzy cognitive maps: advances in theory, methodologies, tools and applications
por: Kacprzyk, Janusz, et al.
Publicado: (2010)

The equationally-defined commutator: a study in equational logic and algebra
por: Czelakowski, Janusz
Publicado: (2015)

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

Cannot write session to /tmp/vufind_sessions/sess_pc2dtml06d1qvgm8d67cesp659