Traditional Inference and Its Versions in the Combined Calculus

Philosophical Forum 46 (2):155-174 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1111/phil.12062

Links

PhilArchive



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

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

On Combined Connectives.A. Sernadas, C. Sernadas & J. Rasga - 2011 - Logica Universalis 5 (2):205-224.
Traditional theory of immediate inference as a fragment of two-valued propositional calculus.S. Kamiński - 1961 - Studia Logica 11 (1):21.
Towards a More General Concept of Inference.Ivo Pezlar - 2014 - Logica Universalis 8 (1):61-81.
Classical Fω, orthogonality and symmetric candidates.Stéphane Lengrand & Alexandre Miquel - 2008 - Annals of Pure and Applied Logic 153 (1-3):3-20.
Inference rules for unsatisfiability.David A. Plaisted - 1979 - Urbana: Dept. of Computer Science, University of Illinois at Urbana-Champaign.
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.
A Finitely Axiomatized Formalization of Predicate Calculus with Equality.Norman D. Megill - 1995 - Notre Dame Journal of Formal Logic 36 (3):435-453.
On reduction systems equivalent to the Lambek calculus with the empty string.Wojciech Zielonka - 2002 - Studia Logica 71 (1):31-46.
Inferentializing consequence.Jaroslav Peregrin - unknown
Picturing classical and quantum Bayesian inference.Bob Coecke & Robert W. Spekkens - 2012 - Synthese 186 (3):651 - 696.
Varieties of linear calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.
What are we do about traditional logic?Jesse Bohl - unknown
Complexity of Null- and Positivstellensatz proofs.Dima Grigoriev & Nicolai Vorobjov - 2001 - Annals of Pure and Applied Logic 113 (1-3):153-160.
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.
Inference, practice and theory.F. John Clendinnen - 1977 - Synthese 34 (1):89 - 132.

Analytics

Added to PP
2015-04-13

Downloads
13 (#1,020,434)

6 months
5 (#632,346)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Substitution Logic: An Extension of Syllogism.Lei Ma - 2019 - Philosophical Forum 50 (2):191-223.

Add more citations

References found in this work

No references found.

Add more references