Epistemic and intuitionistic formal systems

&
Annals of Pure and Applied Logic 32:53-60 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(86)90043-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,440

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
A Note on Majkić's Systems.Hitoshi Omori & Toshiharu Waragai - 2010 - Notre Dame Journal of Formal Logic 51 (4):503-506.
Modalities as interactions between the classical and the intuitionistic logics.Michał Walicki - 2006 - Logic and Logical Philosophy 15 (3):193-215.
Reference and perspective in intuitionistic logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.
Medieval Disputationes de obligationibus as Formal Dialogue Systems.Sara L. Uckelman - 2013 - Argumentation 27 (2):143-166.
A weak intuitionistic propositional logic with purely constructive implication.Mitsuhiro Okada - 1987 - Studia Logica 46 (4):371 - 382.
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford July 1963. North Holland. pp. 92-130.
Finite Sets and Natural Numbers in Intuitionistic TT.Daniel Dzierzgowski - 1996 - Notre Dame Journal of Formal Logic 37 (4):585-601.
Models for normal intuitionistic modal logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.
Epistemic semantics for classical and intuitionistic logic.John N. Martin - 1984 - Notre Dame Journal of Formal Logic 25 (2):105-116.
The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations.Michael J. Beeson - 1975 - Journal of Symbolic Logic 40 (3):321-346.
The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals.Michael Beeson - 1976 - Journal of Symbolic Logic 41 (1):18-24.

Analytics

Added to PP
2014-01-16

Downloads
55 (#285,758)

6 months
7 (#416,569)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
In defense of epistemic arithmetic.Leon Horsten - 1998 - Synthese 116 (1):1-25.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Provability in principle and controversial constructivistic principles.Leon Horsten - 1997 - Journal of Philosophical Logic 26 (6):635-660.

View all 16 citations / Add more citations

References found in this work

Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
Integrating classical and intuitionistic type theory.Robert C. Flagg - 1986 - Annals of Pure and Applied Logic 32:27-51.

View all 6 references / Add more references