- 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.Other Versions
No versions found
My notes
Similar books and articles
From inconsistent obligations to the possibility of legal gluts.Bradley Armour-Garb - 2024 - Inquiry: An Interdisciplinary Journal of Philosophy 67 (9):3584-3599.
From logics of formal inconsistency to logics of formal classicality.Hitoshi Omori - 2020 - Logic Journal of the IGPL 28 (5):684-711.
Theories of truth based on four-valued infectious logics.Damian Szmuc, Bruno Da Re & Federico Pailos - 2020 - Logic Journal of the IGPL 28 (5):712-746.
Heaps and gluts: Paraconsistent logic applied to vagueness.J. Odrowaz-Sypneiwska - 1999 - Logic and Logical Philosophy 7:179-193.
Criteria causing inconsistencies. General gluts as opposed to negation gluts.Diderik Batens - 2003 - Logic and Logical Philosophy 11:5-37.
A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus.Dimitar P. Guelev & Dang Van Hung - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):149-180.
Trivalent logics arising from L-models for the Lambek calculus with constants.S. L. Kuznetsov - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):132-137.
Analytics
Added to PP
2014-01-21
Downloads
29 (#772,073)
6 months
7 (#699,353)
2014-01-21
Downloads
29 (#772,073)
6 months
7 (#699,353)
Historical graph of downloads
References found in this work
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).
3. Une Élimination Des Coupures Ne Tolérant Pas L’extensionnalité.Marcel Crabbe - 2005 - Logique Et Analyse 48.
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-667477cd97-wmc4m dc2