Logic and Exceptions: A Few Remarks

DOI10.1093/LOGCOM/2.2.111MaRDI QIDQ4013250zbMATH OpenOpenAlexFDO

Authors Jean-Yves Girard

Publication date 27 September 1992

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/2.2.111

zbMATH Keywords

astrologyformalization of human reasoninglinear logicstatistics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Proof theory in general (including proof-theoretic semantics) (03F03) Theory of computing (68Q99)

Recommendations

• Linear Logic and Exceptions
• scientific article; zbMATH DE number 1231531
• The semantics and proof theory of linear logic
• scientific article; zbMATH DE number 1351101
• Linear logic

Cited in

(4)

• Semantic data modelling using linear logic
• Anti-Exceptionalism about Logic
• Two kinds of unexpected problems in writings on logic
• Exception and typicality, logically framed

This page was built for publication: Logic and Exceptions: A Few Remarks

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