- 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
Embedding And Interpolation For Some Paralogics. The Propositional Case
Reports on Mathematical Logic:29-44 (1999)
Abstract
We consider the very weak paracomplete and paraconsistent logics that are obtained by a straightforward weakening of Classical Logic, as well as some of their maximal extensions that are a fragment of Classical Logic. We prove that these logics may be faithfully embedded in Classical Logic, and that the interpolation theorem obtains for them.Author Profiles
Other Versions
No versions found
My notes
Similar books and articles
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics.Adam Přenosil - 2017 - Studia Logica 105 (6):1255-1289.
On the interpolation property of some intuitionistic modal logics.C. Luppi - 1996 - Archive for Mathematical Logic 35 (3):173-189.
Modal Extensions of Sub-classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron - 2013 - Logica Universalis 7 (1):71-86.
Definability and Interpolation in Non-Classical Logics.Larisa Maksimova - 2006 - Studia Logica 82 (2):271-291.
On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.
Interpolation in fuzzy logic.Matthias Baaz & Helmut Veith - 1999 - Archive for Mathematical Logic 38 (7):461-489.
Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence.Alexander Karpenko & Natalya Tomova - 2017 - Logic and Logical Philosophy 26 (2):207-235.
Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach.Hiroakira Ono - 1986 - Studia Logica 45 (1):19-33.
Minimally Nonstandard K3 and FDE.Rea Golan & Ulf Hlobil - 2022 - Australasian Journal of Logic 19 (5):182-213.
Left Variable Inclusion Logics Associated with Classical Logic.Francesco Paoli & Michele Pra Baldi - 2024 - Notre Dame Journal of Formal Logic 65 (4):457-480.
Analytics
Added to PP
2015-02-12
Downloads
0
6 months
0
2015-02-12
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Author Profiles
Citations of this work
Formal inconsistency and evolutionary databases.Walter A. Carnielli, João Marcos & Sandra De Amo - 2000 - Logic and Logical Philosophy 8 (2):115-152.
Paraconsistent and Paracomplete Zermelo–Fraenkel Set Theory.Yurii Khomskii & Hrafn Valtýr Oddsson - 2024 - Review of Symbolic Logic 17 (4):965-995.
Multi-valued Calculi for Logics Based on Non-determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.
Non-deterministic semantics for logics of analytic implication.Damian Szmuc & Martina Zirattu - forthcoming - Erkenntnis.
A Non-deterministic View on Non-classical Negations.Arnon Avron - 2005 - Studia Logica 80 (2-3):159-194.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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