A meta-logic of inference rules: Syntax

Logic and Logical Philosophy 24 (3) (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.12775/llp.2015.007

Links

PhilArchive



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

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

Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules.M. Golovanov, A. Kosheleva & V. Rybakov - 2005 - Logic Journal of the IGPL 13 (2):201-209.
On self-admissible quasi-characterizing inference rules.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Studia Logica 65 (3):417-428.
Characteristic Inference Rules.Alex Citkin - 2015 - Logica Universalis 9 (1):27-46.
Axiomatizations with context rules of inference in modal logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.
Peirce's tutorial on existential graphs.John F. Sowa - 2011 - Semiotica 2011 (186):347-394.
Consequence & inference.Jaroslav Peregrin - unknown
Do Syllogisms Commit the Petitio Principii? The Role of Inference-Rules in Mill's Logic of Truth.David Botting - 2014 - History and Philosophy of Logic 35 (3):237-247.
Inference in conditional probability logic.Niki Pfeifer & Gernot Kleiter - 2006 - Kybernetika 42 (2):391--404.
Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility.Sergei Odintsov & Vladimir Rybakov - 2015 - Logica Universalis 9 (1):93-120.
Logical Cornestones of Judaic Argumentation Theory.Andrew Schumann - 2013 - Argumentation 27 (3):305-326.
Tabular Logics with no Finite Bases for Inference Rules.V. Rybakov - 2004 - Logic Journal of the IGPL 12 (4):301-311.
Inference as an explication and as a counterpart of consequence.Jaroslav Peregrin - unknown
On Quantified Modal Logic.Melvin Fitting - unknown
Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK.Erica Calardo - 2006 - Logic Journal of the IGPL 14 (1):15-34.
Intermediate logics preserving admissible inference rules of heyting calculus.Vladimir V. Rybakov - 1993 - Mathematical Logic Quarterly 39 (1):403-415.

Analytics

Added to PP
2015-03-20

Downloads
68 (#244,475)

6 months
20 (#139,196)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 575-597.
Rejection in Łukasiewicz's and Słupecki's Sense.Wybraniec-Skardowska Urszula - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 575-597.

Add more citations

References found in this work

The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge: Harvard University Press.
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Multiple Conclusion Logic.D. J. Shoesmith & Timothy Smiley - 1978 - Cambridge, England / New York London Melbourne: Cambridge University Press. Edited by T. J. Smiley.
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.

View all 38 references / Add more references