1.Previous
3.Next

as "Logics with Restricted Structural Rules". During the conference, Kosta Dosen proposed the term "substructural logics", which is now in use today.

See also

* Substructural type system
* Residuated lattice

References

*
*

Further reading

*

External links

*
*

1.Previous
3.Next