Analysis and Synthesis of Logics : :: SCD d'Orléans

Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems

Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The the...

Szczegółowa specyfikacja

Zapisane w:

Opis bibliograficzny
Główni autorzy:	Carnielli, Walter Alexandre, 1952-, Coniglio, Marcelo E., 1963- (Autor), Gabbay, Dov M., 1945- (Autor), Gouveia, Paula (Autor), Sernadas, Cristina (Autor), Coniglio, Marcelo (Autor)
Format:	Livre numérique
Język:	Anglais
Wydane:	Dordrecht : Springer Netherlands : Springer e-books [20..]. Cham : Springer Nature
Seria:	Applied Logic Series 35
Hasła przedmiotowe:	Logique symbolique et mathématique
Dostęp online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Komentarz:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Analysis and synthesis of logics, How to cut and paste reasoning systems, by Walter Carnielli,... Marcelo Coniglio,... Dov M. Gabbay,... Paula Gouveia,... and Cristina Sernadas,..., Dordrecht, Springer Science+Business Media B.V., 2008, 1 vol. (xvi-600 p.), Applied Logic Series, 978-1-4020-6781-5

Podobne zapisy

Mathematical Problems from Applied Logic. Logics for the XXIst Century
od: Gabbay, Dov M., 1945-

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11 14, 1994 : proceedings
od: Gabbay, Dov M., 1945-

Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3 7, 1996 : proceedings
od: Gabbay, Dov M., 1945-

Qualitative and quantitative practical reasoning : first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9 12, 1997 : proceedings
od: Gabbay, Dov M., 1945-

Reasoning with logic programming
od: Alferes, José Júlio, 1966-, i wsp.

Notes on logic
od: Lyndon, Roger Conant, 1917-1988
Wydane: (1966)

Logic program synthesis and transformation - Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 21, 1994 : proceedings

Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20 22, 1995 : proceedings

Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings

Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers

Studia logica
Wydane: (2002)

An introduction to modal logic
od: Hughes, George Edward, 1918-, i wsp.
Wydane: (1968)

Modal logics
od: Feys, Robert, 1889-1961
Wydane: (1965)

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR 99, Venice, Italy, September 22-24, 1999 : selected papers

Logic based program synthesis and transformation : 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28 30, 2001 : Selected papers

Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR 98 Manchester, UK, June 15 19, 1998 : selected papers

Logic for mathematicians
od: Rosser, John Barkley, 1907-1989
Wydane: (1953)

Mathematical logic
od: Shoenfield, Joseph Robert, 1927-2000
Wydane: (1967)

Elementary logic
od: Quine, Willard Van Orman, 1908-2000, philosophe
Wydane: (1965)

Logic and structure
od: Dalen, Dirk van, 1932-

Logic journal of the IGPL.
Wydane: (1997)

Vivid logic : knowledge-based reasoning with two kinds of negation
od: Wagner, Gerd, 1957-...., informaticien

Handbook of mathematical logic
od: Barwise, Jon, 1942-2000, logicien
Wydane: (1977)

Introduction to mathematical logic.
od: Church, Alonzo, 1903-1995
Wydane: (1956)

Foundations of mathematical logic
od: Curry, Haskell Brooks, 1900-1982
Wydane: (1963)

Elements of mathematical logic
od: Łukasiewicz, Jan, 1878-1956
Wydane: (1963)

Introduction to mathematical logic
od: Mendelson, Elliott, 1931-2020
Wydane: (1964)

The elements of mathematical logic
od: Rosenbloom, Paul C., 1920-2005
Wydane: (1950)

Elements of mathematical logic
od: Novikov, Petr Sergeevich, 1901-1975
Wydane: (1964)

Archive for mathematical logic.

An introduction to formal logic
od: Smith, Peter J, 1944-
Wydane: (2003)

An introduction to substructural logics
od: Restall, Greg, 1969-
Wydane: (2000)

The problem of inductive logic
Wydane: (1968)

Mathematical logic : a first course
od: Robbin, Joel W.
Wydane: (1969)

Algebraic methods of mathematical logic
od: Rieger, Ladislav, 1916-1963
Wydane: (1967)

A concise introduction to mathematical logic
od: Rautenberg, Wolfgang, 1936-

A mathematical introduction to logic
od: Enderton, Herbert, 1936-2010
Wydane: (1972)

Mathematical problems from applied logic. logics for the XXIst Century

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales