Logic prizes \textit{et cætera}

DOI10.1007/s11787-018-0215-6OpenAlexW2898308875MaRDI QIDQ1632046

Jean-Yves Béziau

Publication date: 12 December 2018

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

Full work available at URL: https://doi.org/10.1007/s11787-018-0215-6

zbMATH Keywords

TarskiAristotlelogicGödelprizesuniversal logicencyclopædia of logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Abstract deductive systems (03B22) Paraconsistent logics (03B53)

Cites Work

• The Vatican square
• First-order logic and first-order functions
• A note on a description logic of concept and role typicality for defeasible reasoning over ontologies
• Dualities for Płonka sums
• Abstract logical constants
• On the modal logic of Jeffrey conditionalization
• New logics for quantum non-individuals?
• Generalized correspondence analysis for three-valued logics
• Developing metalogic to formalize ontological disputes of the systems in metaphysics by introducing the notion of functionally isomorphic quantifiers
• Pecularities of some three- and four-valued second order logics
• Universal logic: evolution of a project
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• The Lvov-Warsaw school. Past and present
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Logic prizes \textit{et cætera}