Grounding rules and (hyper-)isomorphic formulas

Francesca Poggiolesi
Centre National de la Recherche Scientifique
An oft-defended claim of a close relationship between Gentzen inference rules and the meaning of the connectives they introduce and eliminate has given rise to a whole domain called proof-theoretic semantics, see Schroeder- Heister ; Prawitz. A branch of proof-theoretic semantics, mainly developed by Dosen ; Dosen and Petric, isolates in a precise mathematical manner formulas that have the same meaning. These isomorphic formulas are defined to be those that behave identically in inferences. The aim of this paper is to investigate another type of recently discussed rules in the literature, namely grounding rules, and their link to the meaning of the connectives they provide the grounds for. In particular, by using grounding rules, we will refine the notion of isomorphic formulas through the notion of hyper-isomorphic formulas. We will argue that it is actually the notion of hyper-isomorphic formulas that identify those formulas that have the same meaning.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.26686/ajl.v17i1.5694
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 49,066
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

Guide to Ground.Kit Fine - 2012 - In Fabrice Correia & Benjamin Schnieder (eds.), Metaphysical Grounding. Cambridge University Press. pp. 37--80.
The Pure Logic of Ground.Kit Fine - 2012 - Review of Symbolic Logic 5 (1):1-25.
A Logic for 'Because'.Benjamin Schnieder - 2011 - Review of Symbolic Logic 4 (3):445-465.
Logical Grounds.Fabrice Correia - 2013 - Review of Symbolic Logic (1):1-29.
On the Logic of Factual Equivalence.Fabrice Correia - 2016 - Review of Symbolic Logic 9 (1):103-122.

View all 15 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Unification and Passive Inference Rules for Modal Logics.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):369-377.
Meeting Strength in Substructural Logics.Yde Venema - 1995 - Studia Logica 54 (1):3-32.
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
Set Venn Diagrams Applied to Inclusions and Non-Inclusions.Renata de Freitas & Petrucio Viana - 2015 - Journal of Logic, Language and Information 24 (4):457-485.
Why Does the Proof-Theory of Hybrid Logic Work so Well?Torben Braüner - 2007 - Journal of Applied Non-Classical Logics 17 (4):521-543.
Meeting Strength in Substructural Logics.Yde Venema - 1995 - Studia Logica 54 (1):3 - 32.
On the Share of Closed IL Formulas Which Are Also in GL.Vedran Čačić & Vjekoslav Kovač - 2015 - Archive for Mathematical Logic 54 (7-8):741-767.


Added to PP index

Total views
11 ( #748,549 of 2,311,214 )

Recent downloads (6 months)
11 ( #65,589 of 2,311,214 )

How can I increase my downloads?


My notes

Sign in to use this feature