Mathematical Logic Quarterly 60 (1-2):6-11 (2014)

Abstract This article has no associated abstract. (fix it)
Keywords Intermediate logics  03B55  doubly negated axioms
Categories (categorize this paper)
DOI 10.1002/malq.201200083
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: 72,577
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

A Logic Stronger Than Intuitionism.Sabine Görnemann - 1971 - Journal of Symbolic Logic 36 (2):249-261.
Applications of Trees to Intermediate Logics.Dov M. Gabbay - 1972 - Journal of Symbolic Logic 37 (1):135-138.
Directed Frames.Giovanna Corsi & Silvio Ghilardi - 1989 - Archive for Mathematical Logic 29 (1):53-67.

View all 6 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Reflexive Intermediate Propositional Logics.Nathan C. Carter - 2006 - Notre Dame Journal of Formal Logic 47 (1):39-62.
Reflexive Intermediate First-Order Logics.Nathan C. Carter - 2008 - Notre Dame Journal of Formal Logic 49 (1):75-95.
On the Rules of Intermediate Logics.Rosalie Iemhoff - 2006 - Archive for Mathematical Logic 45 (5):581-599.
Remark on a Finite Axiomatization of Finite Intermediate Propositional Logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.
Expressivity and Completeness for Public Update Logics Via Reduction Axioms.Barteld Kooi - 2007 - Journal of Applied Non-Classical Logics 17 (2):231-253.

Analytics

Added to PP index
2014-01-16

Total views
11 ( #858,866 of 2,533,586 )

Recent downloads (6 months)
1 ( #390,861 of 2,533,586 )

How can I increase my downloads?

Downloads

My notes