- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A system for proper multiple-conclusion entailment
Logic and Logical Philosophy 24 (2) (2015)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Nonmonotonic probabilistic reasoning under variable-strength inheritance with overriding.Thomas Lukasiewicz - 2005 - Synthese 146 (1-2):153 - 169.
Logic based on atomic entailment.Teodor Stepien - 1985 - Bulletin of the Section of Logic 14 (2):65-69.
Probabilistic Entailment and a Non-Probabilistic Logic.Kevin Knight - 2003 - Logic Journal of the IGPL 11 (3):353-365.
Perfect validity, entailment and paraconsistency.Neil Tennant - 1984 - Studia Logica 43 (1-2):181 - 200.
A natural deduction system for first degree entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
Acceptance, inference, and the multiple-conclusion sequent.Tor Sandqvist - 2012 - Synthese 187 (3):913-924.
System of Spheres-based Multiple Contractions.Eduardo Fermé & Maurício D. L. Reis - 2012 - Journal of Philosophical Logic 41 (1):29-52.
Scott's problem for Proper Scott sets.Victoria Gitman - 2008 - Journal of Symbolic Logic 73 (3):845-860.
Entailment with near surety of scaled assertions of high conditional probability.Donald Bamber - 2000 - Journal of Philosophical Logic 29 (1):1-74.
The Bibinary Semantics for R and Lℵ0.V. L. Vasyukov - 1986 - Bulletin of the Section of Logic 15 (3):109-114.
Analytics
Added to PP
2015-09-04
Downloads
22 (#705,136)
6 months
11 (#232,073)
2015-09-04
Downloads
22 (#705,136)
6 months
11 (#232,073)
Historical graph of downloads
Author's Profile
Citations of this work
Calculizing classical inferential erotetic logic.Moritz Cordes - 2021 - Review of Symbolic Logic 14 (4):1066-1087.
Deduction and Reduction Theorems for Inferential Erotetic Logic.Andrzej Wiśniewski - 2018 - Studia Logica 106 (2):295-309.
Disjunctive and Conjunctive Multiple-Conclusion Consequence Relations.Marek Nowak - 2020 - Studia Logica 108 (6):1125-1143.
Disjunctive Multiple-Conclusion Consequence Relations.Marek Nowak - 2019 - Bulletin of the Section of Logic 48 (4).
The Method of Socratic Proofs: From the Logic of Questions to Proof Theory.Dorota Leszczyńska-Jasion - 2021 - In Moritz Cordes (ed.), Asking and Answering: Rivalling Approaches to Interrogative Methods. Tübingen: Narr Francke Attempto. pp. 183–198.
References found in this work
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.
Judgment and consequence relations.Marcus Kracht - 2010 - Journal of Applied Non-Classical Logics 20 (4):423-435.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-zf4z4 uwo