313
Views
22
CrossRef citations to date
0
Altmetric
Main Articles

On Inversion Principles

&
Pages 103-113 | Received 10 May 2007, Accepted 31 Aug 2007, Published online: 30 Apr 2008

Keep up to date with the latest research on this topic with citation updates for this article.

Read on this site (1)

George Boger. The Place of Reduction in Aristotle's Prior Analytics. History and Philosophy of Logic 0:0, pages 1-34.
Read now

Articles from other publishers (21)

Leonardo Ceragioli. (2023) Bilateral Rules as Complex Rules. Bulletin of the Section of Logic 52:3, pages 329-375.
Crossref
Nils Kürbis. (2021) Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules. Synthese.
Crossref
Filippo Ferrari & Eugenio Orlandelli. (2019) Proof-theoretic pluralism. Synthese 198:S20, pages 4879-4903.
Crossref
Felice Cardone. (2020) From Curry to Haskell. Philosophy & Technology 34:1, pages 57-74.
Crossref
Luca Tranchini. (2016) Proof-theoretic harmony: towards an intensional account. Synthese 198:S5, pages 1145-1176.
Crossref
Julien Murzi. (2018) Classical Harmony and Separability. Erkenntnis 85:2, pages 391-415.
Crossref
Nissim Francez. (2017) On harmony and permuting conversions. Journal of Applied Logic 21, pages 14-23.
Crossref
Bruno Jacinto & Stephen Read. (2016) General-Elimination Stability. Studia Logica 105:2, pages 361-405.
Crossref
Ian Rumfitt. 2017. A Companion to the Philosophy of Language. A Companion to the Philosophy of Language 225 249 .
STEPHEN READ. (2016) HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY. The Review of Symbolic Logic 9:2, pages 408-420.
Crossref
Luca Tranchini. (2016) Proof-theoretic semantics, paradoxes and the distinction between sense and denotation. Journal of Logic and Computation 26:2, pages 495-512.
Crossref
Roy Dyckhoff. 2016. Advances in Proof-Theoretic Semantics. Advances in Proof-Theoretic Semantics 79 93 .
LUCA TRANCHINI. (2015) HARMONISING HARMONY. The Review of Symbolic Logic 8:3, pages 411-423.
Crossref
Peter Milne. 2015. Dag Prawitz on Proofs and Meaning. Dag Prawitz on Proofs and Meaning 189 224 .
Sara Negri & Jan von Plato. 2015. Dag Prawitz on Proofs and Meaning. Dag Prawitz on Proofs and Meaning 239 257 .
Nissim Francez. (2014) Harmony in Multiple-Conclusion Natural-Deduction. Logica Universalis 8:2, pages 215-259.
Crossref
Peter Schroeder-Heister. 2014. Advances in Natural Deduction. Advances in Natural Deduction 1 29 .
Marcello D?Agostino, Marcelo Finger & Dov Gabbay. (2013) Semantics and proof-theory of depth bounded Boolean logics. Theoretical Computer Science 480, pages 43-68.
Crossref
Enrico Moriconi. (2012) Steps Towards a Proof-Theoretical Semantics. Topoi 31:1, pages 67-75.
Crossref
Stephen Read. (2010) General-Elimination Harmony and the Meaning of the Logical Constants. Journal of Philosophical Logic 39:5, pages 557-576.
Crossref
WAGNER DE CAMPOS SANZ & THOMAS PIECHA. (2009) INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES. The Review of Symbolic Logic 2:03, pages 550.
Crossref

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.