Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction

Overview of attention for article published in Studia Logica, February 2000

Altmetric Badge

About this Attention Score

In the top 25% of all research outputs scored by Altmetric
One of the highest-scoring outputs from this source (#7 of 333)
High Attention Score compared to outputs of the same age (90th percentile)

Mentioned by

blogs: 1 blog

Citations

dimensions_citation: 42 Dimensions

Readers on

mendeley: 14 Mendeley

Summary Blogs Dimensions citations

So far, Altmetric has seen 1 blog post.

Cut Elimination and Contraction

M-Phi, 14 Apr 2011

Working with the consistency of contraction free logics with a naive truth predicate (see earlier post), I've been looking at a…