- 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
On an axiomatic system for the logic of linearly ordered BCI-matrices
Archive for Mathematical Logic 51 (3-4):285-297 (2012)
Abstract
The logic FBCI given by linearly ordered BCI-matrices is known not to be an axiomatic extension of the well-known BCI logic. In this paper we axiomatize FBCI by adding a recursively enumerable set of schemes of inference rules to BCI and show that there is no finite axiomatization for FBCI.My notes
Similar books and articles
A Note on Monothetic BCI.Tomasz Kowalski & Sam Butchart - 2006 - Notre Dame Journal of Formal Logic 47 (4):541-544.
On the Complexity of Some Substructural Logics.Buszkowski Wojciech - 2008 - Reports on Mathematical Logic.
An Abelian Rule for BCI—and Variations.Tomasz Kowalski & Lloyd Humberstone - 2016 - Notre Dame Journal of Formal Logic 57 (4):551-568.
Self-implications in BCI.Tomasz Kowalski - 2008 - Notre Dame Journal of Formal Logic 49 (3):295-305.
Variations on a Theme of Curry.Lloyd Humberstone - 2006 - Notre Dame Journal of Formal Logic 47 (1):101-131.
Axiomatic Extensions of IMT3 Logic.Joan Gispert & Antoni Torrens - 2005 - Studia Logica 81 (3):311-324.
Pseudo-BCI-logic.Grzegorz Dymek & Anna Kozanecka-Dymek - 2013 - Bulletin of the Section of Logic 42 (1/2):33-41.
Complex Fuzzy Sets with Application in BCK/BCI-Algebras.Young Bae Jun & Xiao Long Xin - 2019 - Bulletin of the Section of Logic 48 (3):173-185.
Analytics
Added to PP
2013-10-27
Downloads
24 (#678,525)
6 months
3 (#1,046,495)
2013-10-27
Downloads
24 (#678,525)
6 months
3 (#1,046,495)
Historical graph of downloads
Citations of this work
The finite model property for semilinear substructural logics.San-Min Wang - 2013 - Mathematical Logic Quarterly 59 (4-5):268-273.
References found in this work
A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
Proof Theory for Fuzzy Logics.George Metcalfe, Nicola Olivetti & Dov M. Gabbay - 2008 - Dordrecht, Netherland: Springer.
Calculi of Pure Strict Implication.E. J. Lemon, C. A. Meredith, D. Meredith, A. N. Prior & I. Thomas - 1958 - Studia Logica 8:331-333.
Linearization of the BCK-logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2000 - Studia Logica 65 (1):31-51.
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-68866f4b87-kftwx uwo