Concerning Formulas of the Types $A rightarrow B vee C, A rightarrow (Ex)B(x)$

Journal of Symbolic Logic 25 (1):27-32 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964334

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Review: Ronald Harrop, Concerning Formulas of the Types $A rightarrow B mathbf{v} C, A rightarrow (Ex) B(x)$ in Intuitionistic Formal Systems. [REVIEW]T. Thacher Robinson - 1962 - Journal of Symbolic Logic 27 (1):110-111.
Harrop Ronald. Concerning formulas of the types A → B v C, A → B in intuitionistic formal systems. [REVIEW]T. Thacher Robinson - 1962 - Journal of Symbolic Logic 27 (1):110-111.
Concerning formulas of the types a →b ∨c, a →(ex)b(X).Ronald Harrop - 1960 - Journal of Symbolic Logic 25 (1):27-32.
Sub-Hilbert Lattices.José Luis Castiglioni, Víctor Fernández, Héctor Federico Mallea & Hernán Javier San Martín - 2023 - Studia Logica 111 (3):431-452.
The Proofs of $alpha rightarrow alpha$ in $P - W$.Sachio Hirokawa - 1996 - Journal of Symbolic Logic 61 (1):195-211.
Countable structures, Ehrenfeucht strategies, and wadge reductions.Tom Linton - 1991 - Journal of Symbolic Logic 56 (4):1325-1348.
Concerning Formulas of the Types A → B v C, A → B in Intuitionistic Formal Systems.T. Thacher Robinson - 1962 - Journal of Symbolic Logic 27 (1):110-111.
A Lambda Proof Of The P-w Theorem.Sachio Hirokawa, Yuichi Komori & Misao Nagayama - 2000 - Journal of Symbolic Logic 65 (4):1841-1849.
A propositional fragment of Le'sniewski's Ontology and its formulation by the tableau method.Arata Ishimoto & M. Kobayashi - 1982 - Studia Logica 41 (2/3):181-195.
Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman.Jaap van Oosten - 1991 - Journal of Symbolic Logic 56 (3):964 - 973.

Analytics

Added to PP
2013-11-02

Downloads
22 (#166,999)

6 months
10 (#1,198,792)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On two problems of Harvey Friedman.Tadeusz Prucnal - 1979 - Studia Logica 38 (3):247 - 262.
Linear temporal logic with until and next, logical consecutions.V. Rybakov - 2008 - Annals of Pure and Applied Logic 155 (1):32-45.

View all 16 citations / Add more citations

References found in this work

No references found.

Add more references