Universal logic

Universal logic is the field of logic that studies the common features of all logical systems, aiming to be to logic what universal algebra is to algebra.wikipedia
39 Related Articles

Logic

logicianlogicallogics
Universal logic is the field of logic that studies the common features of all logical systems, aiming to be to logic what universal algebra is to algebra.
However, agreement on what logic is has remained elusive, and although the field of universal logic has studied the common structure of logics, in 2007 Mossakowski et al. commented that "it is embarrassing that there is no widely acceptable formal definition of 'a logic'".

Jean-Yves Béziau

Béziau, Jean-Yves
The roots of universal logic may go as far back as some work of Alfred Tarski in the early twentieth century, but the modern notion was first presented in the 1990s by Swiss logician Jean-Yves Béziau. First World Congress and School on Universal Logic, 26 March–3 April 2005, Montreux, Switzerland. Participants included Béziau, Dov Gabbay, and David Makinson. (Secret Speaker: Saul Kripke.)
Jean-Yves Beziau works in the field of logic—in particular, paraconsistent logic, the square of opposition and universal logic.

Joseph Goguen

GoguenGoguen, J.Joseph A. Goguen
a categorical approach originating in Computer Science based on Goguen and Burstall's notion of institution.
His development of institution theory impacted the field of universal logic.

Institution (computer science)

institutioninstitution theoryInstitutions in computer science
a categorical approach originating in Computer Science based on Goguen and Burstall's notion of institution.
The spread of institutional model theory has generalized various notions and results of model theory and institutions themselves have impacted the progress of universal logic.

Logica Universalis

A journal dedicated to the field, Logica Universalis, with Béziau as editor-in-chief started to be published by Birkhäuser Basel (an imprint of Springer) in 2007.
Logica Universalis is a peer-reviewed academic journal which covers research related to Universal logic.

Universal algebra

algebraequational theoryequational reasoning
Universal logic is the field of logic that studies the common features of all logical systems, aiming to be to logic what universal algebra is to algebra.

Algebra

algebraicAlgebra IAlgebra 1
Universal logic is the field of logic that studies the common features of all logical systems, aiming to be to logic what universal algebra is to algebra.

Model theory

modelmodelsmodel-theoretic
A number of approaches to universal logic have been proposed since the twentieth century, using model theoretic, and categorical approaches.

Category theory

categorycategoricalcategories
a categorical approach originating in Computer Science based on Goguen and Burstall's notion of institution. A number of approaches to universal logic have been proposed since the twentieth century, using model theoretic, and categorical approaches.

Alfred Tarski

TarskiTarski, AlfredTarskian
The roots of universal logic may go as far back as some work of Alfred Tarski in the early twentieth century, but the modern notion was first presented in the 1990s by Swiss logician Jean-Yves Béziau.

Richard Sylvan

Richard RoutleySylvan, Richard
The term 'universal logic' has also been separately used by logicians such as Richard Sylvan and Ross Brady to refer to a new type of (weak) relevant logic.

Relevance logic

relevant logicrelevant
The term 'universal logic' has also been separately used by logicians such as Richard Sylvan and Ross Brady to refer to a new type of (weak) relevant logic.

Jon Barwise

Barwise, JonJ. BarwiseBarwise
An abstract model theory system axiomatized by Jon Barwise,

Topology

topologicaltopologicallytopologist
a topological/categorical approach based on sketches (sometimes called categorical model theory),

Sketch (mathematics)

sketchessketchSketches (category theory)
a topological/categorical approach based on sketches (sometimes called categorical model theory),

Rod Burstall

Burstall
a categorical approach originating in Computer Science based on Goguen and Burstall's notion of institution.

Montreux

Montreux, SwitzerlandchêneClarens
First World Congress and School on Universal Logic, 26 March–3 April 2005, Montreux, Switzerland. Participants included Béziau, Dov Gabbay, and David Makinson. (Secret Speaker: Saul Kripke.)

Dov Gabbay

Gabbay, DovD. GabbayD. M. Gabbay
First World Congress and School on Universal Logic, 26 March–3 April 2005, Montreux, Switzerland. Participants included Béziau, Dov Gabbay, and David Makinson. (Secret Speaker: Saul Kripke.)

David Makinson

MakinsonMakinson, David
First World Congress and School on Universal Logic, 26 March–3 April 2005, Montreux, Switzerland. Participants included Béziau, Dov Gabbay, and David Makinson. (Secret Speaker: Saul Kripke.)

Saul Kripke

KripkeKripke, SaulKripkean
First World Congress and School on Universal Logic, 26 March–3 April 2005, Montreux, Switzerland. Participants included Béziau, Dov Gabbay, and David Makinson. (Secret Speaker: Saul Kripke.)

Xi'an

XianChang'anXi'an, Shaanxi
Second World Congress and School on Universal Logic, 16–22 August 2007, Xi'an, China.

Lisbon

LisboaLisbon, Portugalcapital
Third World Congress and School on Universal Logic, 18–25 April 2010, Lisbon, Portugal. (Secret Speaker: Jaakko Hintikka.)