The Permutability of Rules in the Classical Inferential Calculus

Journal of Symbolic Logic 20 (1):66-67 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268072

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

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

The permutability of rules in the classical inferential calculus.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (4):245-248.
Review: Haskell B. Curry, The Permutability of Rules in the Classical Inferential Calculus. [REVIEW]W. Ackermann - 1955 - Journal of Symbolic Logic 20 (1):66-67.
Transformative decision rules, permutability, and non-sequential framing of decision problems.Martin Peterson - 2004 - Synthese 139 (3):387-403.
Review: Haskell B. Curry, The System LD; Haskell B. Curry, On the Definition of Negation by a Fixed Proposition in Inferential Calculus. [REVIEW]Paul Bernays - 1953 - Journal of Symbolic Logic 18 (3):266-268.
Analytic Rules for Mereology.Paolo Maffezioli - 2016 - Studia Logica 104 (1):79-114.
The inferential approach to logical calculus, I.Haskell B. Curry - 1960 - Logique Et Analyse 3 (11):119.
On the definition of negation by a fixed proposition in inferential calculus.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (2):98-104.
Reduction Rules for Intuitionistic $${{\lambda}{\rho}}$$ λ ρ -calculus.Ken-Etsu Fujita, Ryo Kashima, Yuichi Komori & Naosuke Matsuda - 2015 - Studia Logica 103 (6):1225-1244.
Varieties of linear calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.
Inferential Acts and Inferential Rules. The Intrinsic Normativity of Logic.Friedrich Reinmuth & Geo Siegwart - 2016 - Analyse & Kritik 38 (2):417–431.
Perspectives in the Interpretation of Defeasible Reasoning.Giacomo Turbanti - 2014 - The Logica Yearbook 2013 2013:239-254.
A minimal classical sequent calculus free of structural rules.Dominic Hughes - 2010 - Annals of Pure and Applied Logic 161 (10):1244-1253.
Three prepositional calculi of probability.Herman Dishkant - 1980 - Studia Logica 39 (1):49 - 61.
Non-classical Elegance for Sequent Calculus Enthusiasts.Andreas Fjellstad - 2017 - Studia Logica 105 (1):93-119.
Intuitionistic sequent calculi for finitely many-valued logics.E. Reznik & P. Curmin - 2001 - Logic Journal of the IGPL 9 (6):793-812.

Analytics

Added to PP
2017-02-21

Downloads
4 (#1,626,769)

6 months
2 (#1,203,746)

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