Universal logic: evolution of a project

DOI10.1007/s11787-018-0194-7zbMath1396.03002OpenAlexW2802059335MaRDI QIDQ1653546

Jean-Yves Béziau

Publication date: 6 August 2018

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-018-0194-7

zbMATH Keywords

Tarskimodel theoryproof theoryAristotleparaconsistent logicBooleuniversal logic

Mathematics Subject Classification ID

History of mathematics in the 21st century (01A61) History of mathematical logic and foundations (03-03)

Related Items (3)

Logic prizes \textit{et cætera} ⋮ Many-valuedness from a universal logic perspective ⋮ Metalogic, Schopenhauer and Universal Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Aristotle's prototype rule-based underlying logic
• Two early Arabic applications of model-theoretic consequence
• Is the principle of contradiction a consequence of \(x^2=x\)?
• Natural deduction for Post's logics and their duals
• Positive Jonsson theories
• Venn diagram with names of individuals and their absence: a non-classical diagram logic
• Composition-nominative logics as institutions
• A molecular logic of chords and their internal harmony
• The Lvov-Warsaw school. Past and present
• Adolf Lindenbaum: notes on his life, with bibliography and selected references
• Institution-independent model theory
• The Architecture of Mathematics

This page was built for publication: Universal logic: evolution of a project