Admissibility and refutation: some characterisations of intermediate logics

Archive for Mathematical Logic 53 (7-8):779-808 (2014)
  Copy   BIBTEX


Refutation systems are formal systems for inferring the falsity of formulae. These systems can, in particular, be used to syntactically characterise logics. In this paper, we explore the close connection between refutation systems and admissible rules. We develop technical machinery to construct refutation systems, employing techniques from the study of admissible rules. Concretely, we provide a refutation system for the intermediate logics of bounded branching, known as the Gabbay–de Jongh logics. We show that this gives a characterisation of these logics in terms of their admissible rules. To illustrate the technique, we also provide a refutation system for Medvedev’s logic.



    Upload a copy of this work     Papers currently archived: 89,408

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

Complexity of admissible rules.Emil Jeřábek - 2007 - Archive for Mathematical Logic 46 (2):73-92.
Intermediate Logics and Visser's Rules.Rosalie Iemhoff - 2005 - Notre Dame Journal of Formal Logic 46 (1):65-81.
Proof analysis in intermediate logics.Roy Dyckhoff & Sara Negri - 2012 - Archive for Mathematical Logic 51 (1-2):71-92.
On the rules of intermediate logics.Rosalie Iemhoff - 2006 - Archive for Mathematical Logic 45 (5):581-599.
Refutation calculi for certain intermediate propositional logics.Tomasz Skura - 1992 - Notre Dame Journal of Formal Logic 33 (4):552-560.
Reflexive Intermediate First-Order Logics.Nathan C. Carter - 2008 - Notre Dame Journal of Formal Logic 49 (1):75-95.


Added to PP

15 (#798,602)

6 months
2 (#640,495)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Rules.Rosalie Iemhoff - 2015 - Journal of Philosophical Logic 44 (6):697-711.

Add more citations

References found in this work

On engendering an illusion of understanding.Dana Scott - 1971 - Journal of Philosophy 68 (21):787-807.
Zum intuitionistischen aussagenkalkül.K. Gödel - 1932 - Anzeiger der Akademie der Wissenschaften in Wien 69:65--66.
Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.
One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.

View all 41 references / Add more references