scientific article; zbMATH DE number 1749196
From MaRDI portal
Publication:4532197
zbMath1002.03053MaRDI QIDQ4532197
Publication date: 7 January 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)
Related Items (4)
A generalization of inquisitive semantics ⋮ Cut and pay ⋮ Expressing second-order sentences in intuitionistic dependence logic ⋮ A semantic hierarchy for intuitionistic logic
This page was built for publication:
