scientific article; zbMATH DE number 1950262
From MaRDI portal
Publication:4412860
zbMath1016.03058MaRDI QIDQ4412860
George Metcalfe, Nicola Olivetti, Dov M. Gabbay
Publication date: 17 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2381/23810191.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Structure of proofs (03F07) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)
Related Items (3)
Density revisited ⋮ Gödel logics with monotone operators ⋮ Cut Elimination for Gödel Logic with an Operator Adding a Constant
This page was built for publication:
