R. Bradshaw Angell. Note on a less restricted type of rule of inference. Mind, n.s. vol. 69 , pp. 253–255. - R. B. Angell. The sentential calculus using rule of inference Re. The journal of symbolic logic, vol. 25 no. 2 , p. 143 [Book Review]

Journal of Symbolic Logic 40 (4):602-603 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271812

Links

PhilArchive



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

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: R. Bradshaw Angell, Note on a Less Restricted Type of Rule of Inference; R. B. Angell, The Sentential Calculus using Rule of Inference $R_e$. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):602-603.
Note on a Less Restricted Type of Rule of Inference.Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):602-603.
Note on a less restricted type of rule of inference.R. Bradshaw Angell - 1960 - Mind 69 (274):253-255.
The sentential calculus using rule of inference re.R. B. Angell - 1960 - Journal of Symbolic Logic 25 (2):143 -.
Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based π-Institutions.George Voutsadakis - 2008 - Logic Journal of the IGPL 16 (3):233-248.
What is an inference rule?Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi - 1992 - Journal of Symbolic Logic 57 (3):1018-1045.
On reduction systems equivalent to the Lambek calculus with the empty string.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.
The problem of basic deductive inference.Gordon Barnes - manuscript
Formalizations For The Consequence Relation Of Visser's Propositional Logic.Katsumi Sasaki - 1999 - Reports on Mathematical Logic:65-78.
A Simple Sequent Calculus for Angell’s Logic of Analytic Containment.Rohan French - 2017 - Studia Logica 105 (5):971-994.
Towards a More General Concept of Inference.Ivo Pezlar - 2014 - Logica Universalis 8 (1):61-81.
What is Logic?Hintikka Jaakko & Gabriel Sandu - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 13--39.
Eight Inference Rules for Implication.Michael Arndt - 2019 - Studia Logica 107 (4):781-808.
Deflationism and Logic.Christopher Gauker - 1999 - Facta Philosophica (1):167-199.
Rules of inference with parameters for intuitionistic logic.Vladimir V. Rybakov - 1992 - Journal of Symbolic Logic 57 (3):912-923.

Analytics

Added to PP
2016-06-30

Downloads
25 (#616,937)

6 months
9 (#290,637)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references