- 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
A Polynomial Translation of S4 into Intuitionistic Logic
Journal of Symbolic Logic 71 (3):989 - 1001 (2006)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
A correct polynomial translation of s4 into intuitionistic logic.Rajeev Goré & Jimmy Thomson - 2019 - Journal of Symbolic Logic 84 (2):439-451.
A Polynomial Translation Of S4 Into T And Contraction–free Tableaux For S4.Serenella Cerrito & Marta Cialdea Mayer - 1997 - Logic Journal of the IGPL 5 (2):287-300.
Temporal Interpretation of Monadic Intuitionistic Quantifiers.Guram Bezhanishvili & Luca Carai - 2023 - Review of Symbolic Logic 16 (1):164-187.
A modal translation for dual-intuitionistic logic.Yaroslav Shramko - 2016 - Review of Symbolic Logic 9 (2):251-265.
A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
The first axiomatization of relevant logic.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (4):339 - 356.
The greatest extension of s4 into which intuitionistic logic is embeddable.Michael Zakharyaschev - 1997 - Studia Logica 59 (3):345-358.
On the polynomial-space completeness of intuitionistic propositional logic.Vítězslav Švejdar - 2003 - Archive for Mathematical Logic 42 (7):711-716.
Complete Intuitionistic Temporal Logics for Topological Dynamics.Joseph Boudou, Martín Diéguez & David Fernández-Duque - 2022 - Journal of Symbolic Logic 87 (3):995-1022.
David Makinson. A normal modal calculus between T and S4 without the finite model property. The journal of symbolic logic, vol. 34 , pp. 35–38.Ronald Harrop - 1971 - Journal of Symbolic Logic 36 (4):692.
Analytics
Added to PP
2010-08-24
Downloads
22 (#1,030,498)
6 months
3 (#1,096,948)
2010-08-24
Downloads
22 (#1,030,498)
6 months
3 (#1,096,948)
Historical graph of downloads
Author's Profile
Citations of this work
Implicit and Explicit Stances in Logic.Johan van Benthem - 2019 - Journal of Philosophical Logic 48 (3):571-601.
References found in this work
Epistemic and intuitionistic formal systems.R. C. Flagg & H. Friedman - 1986 - Annals of Pure and Applied Logic 32:53-60.
ASH, CJ, Stability of recursive structures in arithmetical degrees BLASS, A. and GUREVICH, Y., Henkin quantifiers and complete problems BUCHHOLZ, W., A new system of proof-theoretic ordinal functions. [REVIEW]H. Friedman & Rc Flagg - 1986 - Annals of Pure and Applied Logic 32 (C):299.
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-99fc7d78b-s277s uwo