- 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
Finitely many-valued logics and natural deduction
Logic Journal of the IGPL 22 (2):333-354 (2014)
Abstract
This article has no associated abstract. (fix it)Author Profiles
Other Versions
No versions found
My notes
Similar books and articles
Systematic construction of natural deduction systems for many-valued logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - In Unknown, Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993. IEEE Press. pp. 208-213.
Cut-elimination and Normalization Theorems for Connexive Logics over Wansing's C.Norihiro Kamide - forthcoming - Bulletin of the Section of Logic:51 pp..
Natural Deduction for Post’s Logics and their Duals.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (1):83-100.
A simple proof of functional completeness in many-valued logics based on Ł ukasiewicz's $C$ and $N$.Robert E. Clay - 1962 - Notre Dame Journal of Formal Logic 3 (2):114-117.
Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
Some Problems Concerning Axiom Systems for Finitely Many-Valued Propositional Logics.Mateusz M. Radzki - 2019 - In Anna Drabarek, Jan Woleński & Mateusz M. Radzki, Interdisciplinary Investigations into the Lvov-Warsaw School. Cham: Springer Verlag. pp. 205-216.
Complexity and expressivity of propositional dynamic logics with finitely many variables.Mikhail Rybakov & Dmitry Shkatov - 2018 - Logic Journal of the IGPL 26 (5):539-547.
Normalisation for Some Quite Interesting Many-Valued Logics.Nils Kürbis & Yaroslav Petrukhin - 2021 - Logic and Logical Philosophy 30 (3):493-534.
On the predicate logics of continuous t-norm BL-algebras.Franco Montagna - 2005 - Archive for Mathematical Logic 44 (1):97-114.
Natural Deduction for Four-Valued both Regular and Monotonic Logics.Yaroslav Petrukhin - 2018 - Logic and Logical Philosophy 27 (1):53-66.
Analytics
Added to PP
2016-06-30
Downloads
68 (#875,641)
6 months
21 (#526,939)
2016-06-30
Downloads
68 (#875,641)
6 months
21 (#526,939)
Historical graph of downloads
Author Profiles
Citations of this work
Normalisation for Some Quite Interesting Many-Valued Logics.Nils Kürbis & Yaroslav Petrukhin - 2021 - Logic and Logical Philosophy 30 (3):493-534.
Correspondence Analysis for Some Fragments of Classical Propositional Logic.Yaroslav Petrukhin & Vasilyi Shangin - 2021 - Logica Universalis 15 (1):67-85.
Compositional Meaning in Logic.Carlos Caleiro & Luca Viganò - 2017 - Logica Universalis 11 (3):283-295.
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