Cargando…

Natural Deduction, Hybrid Systems and Modal Logics

Detalles Bibliográficos
Autor principal:	Indrzejczak, Andrzej
Lenguaje:	eng
Publicado:	Springer 2010
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-90-481-8785-0 http://cds.cern.ch/record/1501076

Ejemplares similares

Sequents and trees: an introduction to the theory and applications of propositional sequent calculi
por: Indrzejczak, Andrzej
Publicado: (2021)

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

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

Pathways of deduction
por: Carbone, A
Publicado: (2000)

Advances in natural deduction: a celebration of Dag Prawitz's work
por: Pereira, Luiz, et al.
Publicado: (2014)

Multi-dimensional modal logic
por: Marx, Maarten, et al.
Publicado: (1997)

Self-reference and modal logic
por: Smoryński, C
Publicado: (1985)

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

Gentzen Calculi for Modal Propositional Logic
por: Poggiolesi, Francesca
Publicado: (2011)

Leo Esakia on duality in modal and intuitionistic logics
por: Bezhanishvili, Guram
Publicado: (2014)

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

Automated deduction: a basis for applications
por: Bibel, Wolfgang, et al.
Publicado: (1998)

Intuition et déduction en mathématiques
por: Leclercq, Bruno
Publicado: (2015)

First Steps in Modal Logic
por: Popkorn, Sally
Publicado: (2008)

Kripke’s worlds: an introduction to modal logics via tableaux
por: Gasquet, Olivier, et al.
Publicado: (2014)

The Consistent Preferences Approach to Deductive Reasoning in Games
por: Asheim, Geir B
Publicado: (2006)

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

The shaping of deduction in Greek mathematics: a study in cognitive history
por: Netz, Reviel
Publicado: (1999)

Intelligent hybrid systems: fuzzy logic, neural networks, and genetic algorithms
por: Ruan, Da
Publicado: (1997)

Inference on the low level: an investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition
por: Leitgeb, Hannes
Publicado: (2004)

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

Arabic logic from al-Fārābī to Averroes: a study of the early Arabic categorical, modal, and hypothetical syllogistics
por: Chatti, Saloua
Publicado: (2019)

Leśniewski's systems of logic and foundations of mathematics
por: Urbaniak, Rafal
Publicado: (2014)

Towards an arithmetical logic: the arithmetical foundations of logic
por: Gauthier, Yvon
Publicado: (2015)

Logic, action and cognition: essays in philosophical logic
por: Ejerhed, Eva, et al.
Publicado: (1997)

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)

Classical Mathematical Logic: The Semantic Foundations of Logic
por: Epstein, Richard L, et al.
Publicado: (2011)

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

Modeling and control of logical discrete event systems
por: Kumar, Ratnesh, et al.
Publicado: (1995)

Functions and generality of logic: reflections on Dedekind's and Frege's logicisms
por: Benis-Sinaceur, Hourya, et al.
Publicado: (2015)

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

Logic colloquium '99: lecture notes in logic 17
por: Van Eijck, Jan, et al.
Publicado: (2004)

Logic colloquium '02: lecture notes in logic 27
por: Chatzidakis, ZoÃ©, et al.
Publicado: (2006)

Rethinking logic: logic in relation to mathematics, evolution, and method
por: Cellucci, Carlo
Publicado: (2014)

Studying deductive logic /
por: Berger, Fred R., 1937-
Publicado: (1977)

Internal logic
por: Hintikka, Jaakko, et al.
Publicado: (2010)

Logical labyrinths
por: Smullyan, Raymond
Publicado: (2008)

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

Logic Symposia
por: Müller, Gert, et al.
Publicado: (1981)

Cannot write session to /tmp/vufind_sessions/sess_sfea87vbgpkmlfuamdk04d71ls