scientific article
From MaRDI portal
Publication:2735832
zbMath0969.03069MaRDI QIDQ2735832
Greg Restall, Robert K. Meyer, John K. Slaney
Publication date: 4 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) First-order arithmetic and fragments (03F30) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (3)
SUBSTITUTION IN RELEVANT LOGICS ⋮ Assertion, Denial and Non-classical Theories ⋮ Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity
This page was built for publication:
