- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On the Relation Between Various Negative Translations
In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 227-258 (2012)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Negative Translations Not Intuitionistically Equivalent to the Usual Ones.Jaime Gaspar - 2013 - Studia Logica 101 (1):45-63.
Polymorphic Logic.Mark Bickford & Constable Robert - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 51-66.
Modulated logic, modal logic and translations between logics.Hércules Feitosa - 2005 - Manuscrito 28 (2):351-373.
Preface.Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 2-4.
Paulo Ferreira da Cunha, Responsabilité et culpabilité. [REVIEW]Michel Bastit - 2002 - Archives de Philosophie du Droit 46:526-526.
Contributors.[author unknown] - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 7-10.
Contents.[author unknown] - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter.
Modulated Logic, Modal Logic And Translations Between Logics.HÉrcules De Araujo Feitosa & Frank Sautter - 2006 - Manuscrito 29 (2):351-373.
Axiomatizing Truth: Why and How?Solomon Feferman - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 185-200.
Analytics
Added to PP
2023-06-09
Downloads
6 (#1,485,580)
6 months
4 (#862,833)
2023-06-09
Downloads
6 (#1,485,580)
6 months
4 (#862,833)
Historical graph of downloads
Citations of this work
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics.Zhe Lin & Minghui Ma - 2022 - Studia Logica 110 (5):1255-1289.
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation.Anuj Kumar More & Mohua Banerjee - 2023 - Logic Journal of the IGPL 31 (3):441-474.
Postponement of $$mathsf {}$$ and Glivenko’s Theorem, Revisited.Giulio Guerrieri & Alberto Naibo - 2019 - Studia Logica 107 (1):109-144.
A Kuroda-style j-translation.Benno van den Berg - 2019 - Archive for Mathematical Logic 58 (5):627-634.
Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation.Yoshihiro Maruyama - 2021 - Journal of Symbolic Logic 86 (3):1189-1213.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-s5tms uwo