- 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
Cuts and gluts
Journal of Applied Non-Classical Logics 15 (3):249-263 (2005)
Abstract
We characterize the notion of validity relatively to models, for comprehension axioms, containing gluts.My notes
Similar books and articles
Type two cuts, bad cuts and very bad cuts.Renling Jin - 1997 - Journal of Symbolic Logic 62 (4):1241-1252.
Normal derivations and sequent derivations.Mirjana Borisavljevi - 2008 - Journal of Philosophical Logic 37 (6):521 - 548.
Supervaluationism and Paraconsistency.Achille C. Varzi - 2000 - In Diderik Batens, Chris Mortensen, Graham Priest & Jean Paul Van Bendegem (eds.), Frontiers in Paraconsistent Logic. Research Studies Press. pp. 279–297.
Criteria causing inconsistencies. General gluts as opposed to negation gluts.Diderik Batens - 2003 - Logic and Logical Philosophy 11:5-37.
Book Reviews: Richard Dietz and Sebastiano Moruzzi (eds.), Cuts and Clouds: Vagueness, its Nature, and its Logic.Doroteya Angelova - 2012 - Logic and Logical Philosophy 21 (1):97-104.
Review: Robert I. Soare, Recursion Theory and Dedekind Cuts; Robert I. Soare, Cohesive Sets and Recursively Enumerable Dedekind Cuts. [REVIEW]Brian H. Mayoh - 1971 - Journal of Symbolic Logic 36 (1):148-148.
Gaps, Gluts, and Paradox.A. D. Irvine - 1992 - Canadian Journal of Philosophy, Supplementary Volume 18 (sup1):273-299.
Gaps and Gluts: Reply to Parsons.Graham Priest - 1995 - Canadian Journal of Philosophy 25 (1):57 - 66.
Simulating non-prenex cuts in quantified propositional calculus.Emil Jeřábek & Phuong Nguyen - 2011 - Mathematical Logic Quarterly 57 (5):524-532.
Communication and conditioning: Correlated reinforcement.Robert Frank Weiss, Michael J. Gluts, Mary Jane Williams & Franklin G. Miller - 1977 - Bulletin of the Psychonomic Society 10 (1):37-38.
Analytics
Added to PP
2014-01-21
Downloads
18 (#785,610)
6 months
2 (#1,157,335)
2014-01-21
Downloads
18 (#785,610)
6 months
2 (#1,157,335)
Historical graph of downloads
References found in this work
In Contradiction: A Study of the Transconsistent.N. C. A. Da Costa - 1989 - Philosophical Quarterly 39 (157):498-502.
Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic.Roland Hinnion - 1994 - Notre Dame Journal of Formal Logic 35 (1):15-40.
The Hauptsatz for Stratified Comprehension: A Semantic Proof.Marcel Crabbé - 1994 - Mathematical Logic Quarterly 40 (4):481-489.
On the Notion of SubstitutionPart of the material of this paper—mainly the proof of the completeness theorem—is already contained in [3].Marcel Crabbé - 2004 - Logic Journal of the Igpl 12 (2).
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-7c76586df8-pp8v9 uwo