Annals of Pure and Applied Logic 168 (3):693-737 (2017)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2016.10.012
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,316
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Display Logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
A Constructive Analysis of RM.Arnon Avron - 1987 - Journal of Symbolic Logic 52 (4):939 - 951.

View all 14 references / Add more references

Citations of this work BETA

View all 6 citations / Add more citations

Similar books and articles

Two Types of Multiple-Conclusion Systems.A. Avron - 1998 - Logic Journal of the IGPL 6 (5):695-718.
Logic in Algebraic Form: Three Languages and Theories.William Craig - 1974 - New York, NY, USA: American Elsevier.
Provability Algebras and Proof-Theoretic Ordinals, I.Lev D. Beklemishev - 2004 - Annals of Pure and Applied Logic 128 (1-3):103-123.
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
Craig Interpolation Via Hypersequents.Roman Kuznets - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. De Gruyter. pp. 193-214.
Glivenko Theorems Revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.
Agata Ciabattoni.Kazushige Terui - 2006 - Studia Logica 82 (1):95-119.
On the Algebraic Structure of Linear, Relevance, and Fuzzy Logics.Francesco Paoli - 2002 - Archive for Mathematical Logic 41 (2):107-121.

Analytics

Added to PP index
2016-10-20

Total views
19 ( #585,007 of 2,519,441 )

Recent downloads (6 months)
1 ( #407,861 of 2,519,441 )

How can I increase my downloads?

Downloads

My notes