scientific article; zbMATH DE number 1552573
From MaRDI portal
Publication:4524837
zbMath0968.03028MaRDI QIDQ4524837
Publication date: 29 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Foundations of classical theories (including reverse mathematics) (03B30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (2)
The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics ⋮ A systematic methodology for automated theorem finding
This page was built for publication:
