WorldCat Identities

Béziau, Jean-Yves

Overview
Works: 37 works in 134 publications in 3 languages and 2,710 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Honoree, Publishing director, Contributor
Classifications: QA9.2, 511.3
Publication Timeline
.
Most widely held works by Jean-Yves Béziau
Logica universalis : towards a general theory of logic by Jean-Yves Béziau( Book )

38 editions published between 2005 and 2007 in English and held by 266 WorldCat member libraries worldwide

"The present book contains recent works on universal logic by first-class researchers from all around the world. The book is full of new and challenging ideas that will guide the future of this exciting subject. It will be of interest to people who want to better understand what logic is. It will help those who are lost in the jungle of heterogeneous logical systems to find a way. Tools and concepts are provided here for those wishing to study classes of already existing logics or to design and build new ones."--Jacket
Logiques classiques et non classiques : essai sur les fondements de la logique by Newton C. A. da Costa( Book )

3 editions published between 1996 and 1997 in French and held by 68 WorldCat member libraries worldwide

Around and beyond the square of opposition by Jean-Yves Béziau( Book )

14 editions published in 2012 in English and held by 48 WorldCat member libraries worldwide

"The theory of oppositions based on Aristotelian foundations of logic has been pictured in a striking square diagram which can be understood and applied in many different ways having repercussions in various fields: epistemology, linguistics, mathematics, sociology, physics. The square can also be generalized in other two-dimensional or multi-dimensional objects extending in breadth and depth the original Aristotelian theory. The square of opposition is a very attractive theme which has been going through centuries without evaporating. Since 10 years there is a new growing interest for the square due to recent discoveries and challenging interpretations. This book presents a collection of previously unpublished papers by high level specialists of the square from all over the world."--Publisher's website
Universal logic : an anthology : from Paul Hertz to Dov Gabbay by Jean-Yves Béziau( Book )

8 editions published in 2012 in English and held by 47 WorldCat member libraries worldwide

Handbook of paraconsistency by World Congress on Paraconsistency( Book )

5 editions published in 2007 in English and held by 40 WorldCat member libraries worldwide

The square of opposition : a general framework for cognition by World Congress on the Square of Opposition( Book )

7 editions published in 2012 in English and held by 37 WorldCat member libraries worldwide

It also includes a DVD composed of events from the first world congress on the square of opposition held in June 2007 in Montreux, featuring some of the speeches and presentations of the participants, like the professors Pascal Engel, Laurence Horn, Terence Parsons, Jan Wolenski. Further, the DVD contains extracts of a square jazz show which was composed and presented for this occasion and extracts of the movie <>. The movie, which was produced for this event, is a remake of the famous biblical story using the square to display the relations between the main characters
The road to universal logic : festschrift for the 50th birthday of Jean-Yves Béziau( Book )

7 editions published in 2015 in English and held by 19 WorldCat member libraries worldwide

This second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor of the fiftieth birthday of Jean-Yves Beziau. The papers touch upon a wide range of topics including paraconsistent logic, quantum logic, geometry of oppositions, categorical logic, computational logic, fundamental logic notions (identity, rule, quantification) and history of logic (Leibniz, Peirce, Hilbert). The volume gathers personal recollections about Jean-Yves Beziau and an autobiography, followed by 25 papers written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Irving Anellis, Dov Gabbay, Ivor Grattan-Guinness, Istvan Nemeti, Henri Prade. These essays will be of interest to all students and researchers interested in the nature and future of logic. --
New directions in paraconsistent logic : 5th WCP, Kolkata, India, February 2014 by World Congress on Paraconsistency( Book )

9 editions published between 2015 and 2016 in English and held by 13 WorldCat member libraries worldwide

The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions is the challenge of paraconsistent logic. The book will be of interest to graduate students and researchers working in mathematical logic, computer science, philosophical logic, linguistics and physics
Aspects of universal logic( Book )

2 editions published in 2004 in English and held by 9 WorldCat member libraries worldwide

The road to universal logic : festschrift for 50th birthday of Jean-Yves Béziau( )

1 edition published in 2015 in English and held by 7 WorldCat member libraries worldwide

The road to universal logic : festschrift for 50th birthday of Jean-Yves Béziau( )

1 edition published in 2015 in English and held by 7 WorldCat member libraries worldwide

Around and beyond the square of opposition( )

1 edition published in 2012 in English and held by 7 WorldCat member libraries worldwide

The road to universal logic : Festschrift for 50th Birthday of Jean-Yves Béziau by Arnold Koslow( Book )

4 editions published between 2014 and 2015 in English and held by 6 WorldCat member libraries worldwide

This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid Hodges, Laurence Horn, Lloyd Humbertsone, Dale Jacquette, David Makinson, Stephen Read, and Jan Woleński. It is a state-of-the-art source of cutting-edge studies in the new interdisciplinary field of universal logic. The papers touch upon a wide range of topics including combination of logic, non-classical logic, square and other geometrical figures of opposition, categorical logic, set theory, foundation of logic, philosophy and history of logic (Aristotle, Avicenna, Buridan, Schröder, MacColl). This book offers new perspectives and challenges in the study of logic and will be of interest to all students and researchers interested the nature and future of logic
Anthology of Universal Logic : From Paul Hertz to Dov Gabbay( Book )

3 editions published between 2010 and 2011 in English and held by 5 WorldCat member libraries worldwide

RECHERCHES SUR LA LOGIQUE UNIVERSELLE (EXCESSIVITE, NEGATION, SEQUENTS) by Jean-Yves Béziau( Book )

3 editions published in 1995 in French and Undetermined and held by 4 WorldCat member libraries worldwide

LES FORMES ABSTRAITES DE LA COMPLETUDE SONT ETUDIEES. ON MONTRE QUE LA SEMANTIQUE BIVALENTE CONSTITUEE PAR L'ENSEMBLE DES FONCTIONS CARACTERISTIQUES DES THEORIES EXCESSIVES EST UNE SEMANTIQUE COMPLETE MINIMALE POUR TOUTE LOGIQUE NORMALE COMPACTE. AU NIVEAU DE LA THEORIE LA NEGATION, ON MONTRE QUE DANS LA LOGIQUE INTUITIONNISTE IL Y A DES THEORIES EXCESSIVES NON MAXIMALES ET ON DEVELOPPE UNE NOUVELLE LOGIQUE PARACONSISTANTE, DANS LAQUELLE ON PEUT DEFINIR UNE RELATION DE CONGRUENCE, REPRESENTABLE PAR DES ALGEBRES MUNIES D'OPERATEURS NON MONOTONES. ON PROUVE QUE LES THEORIES EXCESSIVES RESPECTENT LES REGLES DES SYSTEMES DE SEQUENTS STRUCTURELLEMENT STANDARDS, ON APPLIQUE CE RESULTAT POUR AXIOMATISER CETTE NOUVELLE LOGIQUE PARACONSISTANTE POUR LAQUELLE ON PROUVE L'ELIMINATION DES COUPURES. ON DEVELOPPE ENSUITE UNE THEORIE DES CONNECTEURS ET ON PROUVE UN HAUPTSATZ GENERALISE
Elementos de teoria paraconsistente de conjuntos by Newton C. A. da Costa( Book )

3 editions published in 1998 in Portuguese and held by 4 WorldCat member libraries worldwide

Quelques propositions sur les phlegmasies cérébrales by Jean-Yves Béziau( Book )

2 editions published in 1823 in French and held by 4 WorldCat member libraries worldwide

The square of opposition a general framework for cognition : [first World congress on the square of opposition held in June 2007 in Montreux] by World Congress on the Square of Opposition( Visual )

1 edition published in 2012 in English and held by 3 WorldCat member libraries worldwide

Institution-independent model theory by Răzvan Diaconescu( )

2 editions published in 2008 in English and held by 1 WorldCat member library worldwide

A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. As a consequence, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.58 (from 0.36 for Institutio ... to 0.94 for Anthology ...)

Logica universalis : towards a general theory of logic
Alternative Names
Beziau, J.

Beziau, J.-Y. 1965-

Beziau, Jean-Yves

Béziau, Jean-Yves 1965-

Jean-Yves Béziau francuski logik

Jean Yves Béziau logico svizzero

Jean-Yves Béziau Professor and researcher of the Brazilian Research Council

Jean-Yves Béziau Professor und Forscher

Jean-Yves Béziau wiskundige uit Zwitserland

Жан Ив Безъё

ジャン=イヴ・ベジオ

哲養·北炯

Languages
Covers
Handbook of paraconsistency