- 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
Well Ordered Subsets of Linearly Ordered Sets.Hartmut Höft & Paul Howard - 1994 - Notre Dame Journal of Formal Logic 35 (3):413-425.
On Provability Logics with Linearly Ordered Modalities.Lev D. Beklemishev, David Fernández-Duque & Joost J. Joosten - 2014 - Studia Logica 102 (3):541-566.
Partially ordered sets and the independence property.James H. Schmerl - 1989 - Journal of Symbolic Logic 54 (2):396-401.
Logic with truth values in a linearly ordered Heyting algebra.Alfred Horn - 1969 - Journal of Symbolic Logic 34 (3):395-408.
Logics of belief change without linearity.John Cantwell - 2000 - Journal of Symbolic Logic 65 (4):1556-1575.
On linearly ordered structures of finite rank.Alf Onshuus & Charles Steinhorn - 2009 - Journal of Mathematical Logic 9 (2):201-239.
A linearly ordered topological space that is not normal.Melven Krom - 1986 - Notre Dame Journal of Formal Logic 27 (1):12-13.
Quantification for Peirce's preferred system of triadic logic.Atwell R. Turquette - 1981 - Studia Logica 40 (4):373 - 382.
Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory.Gregory H. Moore - 1980 - History and Philosophy of Logic 1 (1-2):95-137.
On the standard and rational completeness of some axiomatic extensions of the monoidal t-Norm logic.Francesc Esteva, Joan Gispert, Lluís Godo & Franco Montagna - 2002 - Studia Logica 71 (2):199 - 226.
Two variable first-order logic over ordered domains.Martin Otto - 2001 - Journal of Symbolic Logic 66 (2):685-702.
Analytics
Added to PP
2013-10-27
Downloads
24 (#642,030)
6 months
4 (#800,606)
2013-10-27
Downloads
24 (#642,030)
6 months
4 (#800,606)
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-7c76586df8-hc2g5 uwo