Three lightings of logic (Invited Talk)

DOI10.4230/LIPICS.CSL.2013.11MaRDI QIDQ2958507zbMATH OpenOpenAlexFDO

Authors Jean-Yves Girard

Publication date 2 February 2017

Full work available at URL http://drops.dagstuhl.de/opus/volltexte/2013/4185/

zbMATH Keywords

proof theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Three views of logic. Mathematics, philosophy, and computer science
• Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks
• scientific article; zbMATH DE number 1273299
• Three etudes on logical dynamics and the program of natural logic
• Natural three-valued logics and classical logic
• Logic, logics, and logicism
• Three days of -logic
• scientific article; zbMATH DE number 3851052

Cited in

(3)

• Three days of -logic
• Interaction graphs: graphings
• scientific article; zbMATH DE number 6917940 (Why is no real title available?)

This page was built for publication: Three lightings of logic (Invited Talk)

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