Lewis's calculus of ordinary inference (as amended 1920 and 1977)

Bulletin of the Section of Logic 7 (1):4-9 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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

Towards a More General Concept of Inference.Ivo Pezlar - 2014 - Logica Universalis 8 (1):61-81.
Geoffrey Lewis Lewis 1920-2008.R. C. Repp - 2011 - In Proceedings of the British Academy, Volume 166, Biographical Memoirs of Fellows, IX. pp. 215.
Scientific Inference and Ordinary Cognition: Fodor on Holism and Cognitive Architecture.Tim Fuller & Richard Samuels - 2014 - Mind and Language 29 (2):201-237.
A 'natural logic' inference system using the Lambek calculus.Anna Zamansky, Nissim Francez & Yoad Winter - 2006 - Journal of Logic, Language and Information 15 (3):273-295.
Inference rules for unsatisfiability.David A. Plaisted - 1979 - Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
Improved decision procedures for Lewis's calculus s4 and Von Wright's calculus M.Alan Ross Anderson - 1954 - Journal of Symbolic Logic 19 (3):201-214.
The formalization of implication in propositional logic.Patrick F. Schindler - unknown
Inferential Validity and Imperative Inference Rules.Alfred F. MacKay - 1969 - Analysis 29 (5):145 - 156.
On reduction systems equivalent to the Lambek calculus with the empty string.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.
Intermediate logics preserving admissible inference rules of heyting calculus.Vladimir V. Rybakov - 1993 - Mathematical Logic Quarterly 39 (1):403-415.
Inferentializing consequence.Jaroslav Peregrin - unknown

Analytics

Added to PP
2014-02-19

Downloads
27 (#589,794)

6 months
1 (#1,471,551)

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

[Omnibus Review].Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
Strict implication--an emendation.C. I. Lewis - 1920 - Journal of Philosophy, Psychology and Scientific Methods 17 (11):300-302.
Strict Implication - An Emendation.C. I. Lewis - 1920 - Journal of Philosophy 17 (11):300.

Add more references