The unprovability of small inconsistency - A study of local and global interpretability

@article{Visser1993TheUO,
  title={The unprovability of small inconsistency - A study of local and global interpretability},
  author={Albert Visser},
  journal={Arch. Math. Log.},
  year={1993},
  volume={32},
  pages={275-298}
}
Highly Cited
This paper has 48 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 22 extracted citations

Applications of Proof Interpretations

View 4 Excerpts
Highly Influenced

Faith & falsity

Ann. Pure Appl. Logic • 2005
View 5 Excerpts
Highly Influenced

The Role of Quantifier Alternations in Cut Elimination

Notre Dame Journal of Formal Logic • 2005
View 10 Excerpts
Highly Influenced

Logical foundations of nonmonotonic reasoning

Artificial Intelligence Review • 1991
View 4 Excerpts
Highly Influenced

The Arithmetics of a Theory

Notre Dame Journal of Formal Logic • 2015

Growing Commas. A Study of Sequentiality and Concatenation

Notre Dame Journal of Formal Logic • 2009
View 1 Excerpt