The Road to Universal Logic Festschrift for 50th Birthday of Jean-Yves Béziau Volume I /

The Road to Universal Logic Festschrift for 50th Birthday of Jean-Yves Béziau Volume I /

This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid Hodg...

Полное описание

Библиографическая информация
Опубликовано в: :	Springer eBooks
Соавтор:	SpringerLink (Online service)
Другие авторы:	Koslow, Arnold (Редактор), Buchsbaum, Arthur (Редактор)
Формат:	Электронная книга
Язык:	English
Публикация:	Cham : Springer International Publishing : Imprint: Birkhäuser, 2015.
Серии:	Studies in Universal Logic,
Предметы:	mathematics. logic. History. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Logic. History of Mathematical Sciences.
Online-ссылка:	http://dx.doi.org/10.1007/978-3-319-10193-4 Перейти в каталог НБ ТГУ

Похожие документы

The Road to Universal Logic Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II /
Публикация: (2015)

Turing's Revolution The Impact of His Ideas about Computability /
Публикация: (2015)

Petr Hájek on Mathematical Fuzzy Logic
Публикация: (2015)

The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
по: Murawski, Roman
Публикация: (2014)

New Directions in Paraconsistent Logic 5th WCP, Kolkata, India, February 2014 /
Публикация: (2015)

Ernst Zermelo An Approach to His Life and Work /
по: Ebbinghaus, Heinz Dieter, et al.
Публикация: (2015)

Logica Volume 1 Dimostrazioni e modelli al primo ordine /
по: Abrusci, Vito Michele, et al.
Публикация: (2014)

Towards an Arithmetical Logic The Arithmetical Foundations of Logic /
по: Gauthier, Yvon
Публикация: (2015)

Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms /
по: Benis-Sinaceur, Hourya, et al.
Публикация: (2015)

Freedom and Enforcement in Action A Study in Formal Action Theory /
по: Czelakowski, Janusz
Публикация: (2015)

Set Theory With an Introduction to Real Point Sets /
по: Dasgupta, Abhijit
Публикация: (2014)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
по: Benthem, Johan
Публикация: (2006)

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
по: Carnielli, Walter
Публикация: (2008)

Ernst Zermelo An Approach to His Life and Work /
по: Ebbinghaus, Heinz-Dieter
Публикация: (2007)

Gentzen's Centenary The Quest for Consistency /
Публикация: (2015)

Alfred Tarski Early Work in Poland-Geometry and Teaching /
Публикация: (2014)

The Life and Work of Leon Henkin Essays on His Contributions /
Публикация: (2014)

Dag Prawitz on Proofs and Meaning
Публикация: (2015)

Logicism, Intuitionism, and Formalism What has Become of Them? /
по: Hendricks, Vincent F.
Публикация: (2009)

One Hundred Prisoners and a Light Bulb
по: van Ditmarsch, Hans, et al.
Публикация: (2015)

Logic, Mathematics, and Computer Science Modern Foundations with Practical Applications /
по: Nievergelt, Yves
Публикация: (2015)

A Modern Perspective on Type Theory From its Origins until Today /
по: Kamareddine, Fairouz
Публикация: (2005)

Constructive Negations and Paraconsistency
по: Odintsov, Sergei P.
Публикация: (2008)

Institution-independent Model Theory
по: Diaconescu, Răzvan
Публикация: (2008)

Computational Complexity of Solving Equation Systems
по: Broniek, Przemysław
Публикация: (2015)

Mathematical Problems from Applied Logic I Logics for the XXIst Century /
по: Gabbay, Dov M.
Публикация: (2006)

Reactive Kripke Semantics
по: Gabbay, Dov M.
Публикация: (2013)

Johan van Benthem on Logic and Information Dynamics
Публикация: (2014)

Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
по: Horská, Anna
Публикация: (2014)

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
по: Carnielli, Walter
Публикация: (2008)

Set Theory Exploring Independence and Truth /
по: Schindler, Ralf
Публикация: (2014)

Recent Trends in Philosophical Logic
Публикация: (2014)

Kripke's Worlds An Introduction to Modal Logics via Tableaux /
по: Gasquet, Olivier, et al.
Публикация: (2014)

Leśniewski's Systems of Logic and Foundations of Mathematics
по: Urbaniak, Rafal
Публикация: (2014)

Proof Theory for Fuzzy Logics
по: Metcalfe, George
Публикация: (2009)

Pell and Pell-Lucas Numbers with Applications
по: Koshy, Thomas
Публикация: (2014)

Advances in Natural Deduction A Celebration of Dag Prawitz's Work /
Публикация: (2014)

Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics
по: Montano, Ulianov
Публикация: (2014)

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /
по: Galavotti, Maria Carla
Публикация: (2006)

Games: Unifying Logic, Language, and Philosophy
по: Rahman, Shahid
Публикация: (2009)