Logic prizes \textit{et cætera}

DOI10.1007/S11787-018-0215-6MaRDI QIDQ1632046zbMATH OpenOpenAlexFDO

Authors 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

logicAristotleprizesTarskiuniversal logicGödelencyclopædia of logic

Mathematics Subject Classification ID

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

Recommendations

• Universal logic: evolution of a project
• Aftermath of the logical paradise
• Logical Autobiography 50
• On the development of logic in Brazil. I: The early logic studies and the path to contemporary logic
• Chwistek-Tarski competition in Lvov. A contribution to social history of logic

Cites work

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

Cited in

(2)

• Universal logic: evolution of a project
• Aftermath of the logical paradise

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1632046)