Intermediate logics preserving admissible inference rules of heyting calculus

Mathematical Logic Quarterly 39 (1):403-415 (1993)
  Copy   BIBTEX


The aim of this paper is to look from the point of view of admissibility of inference rules at intermediate logics having the finite model property which extend Heyting's intuitionistic propositional logic H. A semantic description for logics with the finite model property preserving all admissible inference rules for H is given. It is shown that there are continuously many logics of this kind. Three special tabular intermediate logics λ, 1 ≥ i ≥ 3, are given which describe all tabular logics preserving admissibility: a tabular logic λ preserves all admissible rules for H iff 7λ has width not more than 2 and is not included in each λ. MSC: 03B55, 03B20



    Upload a copy of this work     Papers currently archived: 79,934

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
On the rules of intermediate logics.Rosalie Iemhoff - 2006 - Archive for Mathematical Logic 45 (5):581-599.
Intermediate Logics and Visser's Rules.Rosalie Iemhoff - 2005 - Notre Dame Journal of Formal Logic 46 (1):65-81.
Canonical Rules.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (4):1171 - 1205.
A mind of a non-countable set of ideas.Alexander Citkin - 2008 - Logic and Logical Philosophy 17 (1-2):23-39.
Rules and Arithmetics.Albert Visser - 1999 - Notre Dame Journal of Formal Logic 40 (1):116-140.
Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1-2):71-92.
Connected modal logics.Guram Bezhanishvili & David Gabelaia - 2011 - Archive for Mathematical Logic 50 (3-4):287-317.
Intermediate Logics and the de Jongh property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.


Added to PP

6 (#1,128,550)

6 months
1 (#478,846)

Historical graph of downloads
How can I increase my downloads?

References found in this work

An ascending chain of S4 logics.Kit Fine - 1974 - Theoria 40 (2):110-116.
Klassische und nichtklassische Aussagenlogik.Wolfgang Rautenberg - 1980 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 11 (2):405-407.

Add more references