Investigations into properties of structural rules on the right

Bulletin of Symbolic Logic 9:263 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hirokawa on right weakening and right contraction.Susan Rogerson - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. Milan, Italy: Polimetrica. pp. 237--263.
Investigations into a left-structural right-substructural sequent calculus.Lloyd Humberstone - 2007 - Journal of Logic, Language and Information 16 (2):141-171.
A Hundred Years Of Logical Investigations. [REVIEW]Javier Legris - 2004 - Bulletin of Symbolic Logic 10 (3):419-420.
A Structural Account of Mathematics.Charles Chihara - 2005 - Bulletin of Symbolic Logic 11 (1):79-83.
Weak disharmony: Some lessons for proof-theoretic semantics.Bogdan Dicher - 2016 - Review of Symbolic Logic (3):1-20.
A Hundred Years of Logical Investigations. Reform Efforts of Logic in Germany 1781–1879.Javier Legris - 2004 - Bulletin of Symbolic Logic 10 (3):419-421.
Preservation of structural properties in intuitionistic extensions of an inference relation.Tor Sandqvist - 2018 - Bulletin of Symbolic Logic 24 (3):291-305.
Formal Systems, properties of.Wilfried Sieg - 1950 - Bulletin of Symbolic Logic 3:154-180.
Reviewed Work(s): Lowness properties and randomness. Advances in Mathematics, vol. 197 by André Nies; Lowness for the class of Schnorr random reals. SIAM Journal on Computing, vol. 35 by Bjørn Kjos-Hanssen; André Nies; Frank Stephan; Lowness for Kurtz randomness. The Journal of Symbolic Logic, vol. 74 by Noam Greenberg; Joseph S. Miller; Randomness and lowness notions via open covers. Annals of Pure and Applied Logic, vol. 163 by Laurent Bienvenu; Joseph S. Miller; Relativizations of randomness and genericity notions. The Bulletin of the London Mathematical Society, vol. 43 by Johanna N. Y. Franklin; Frank Stephan; Liang Yu; Randomness notions and partial relativization. Israel Journal of Mathematics, vol. 191 by George Barmpalias; Joseph S. Miller; André Nies. [REVIEW]Johanna N. Y. Franklin - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Covering Properties of Core Models.Ernest Schimmerling, Peter Koepke, William J. Mitchell & John R. Steel - 2004 - Bulletin of Symbolic Logic 10 (4):583-588.

Analytics

Added to PP
2014-03-22

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Citations of this work

Investigations into a left-structural right-substructural sequent calculus.Lloyd Humberstone - 2007 - Journal of Logic, Language and Information 16 (2):141-171.

Add more citations

References found in this work

No references found.

Add more references