Logic and Exceptions: A Few Remarks

DOI10.1093/LOGCOM/2.2.111zbMATH Open0760.03017OpenAlexW1966447039MaRDI QIDQ4013250FDOQ4013250

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

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

zbMATH Keywords

statisticslinear logicastrologyformalization of human reasoning

Mathematics Subject Classification ID

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

Cited In (3)

• Semantic data modelling using linear logic
• Anti-Exceptionalism about Logic
• Two kinds of unexpected problems in writings on logic

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)