- 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 reduced matrices
Studia Logica 52 (1):63 - 72 (1993)
Abstract
It is shown that the class of reduced matrices of a logic is a 1 st order -class provided the variety associated with has the finite replacement property in the sense of [7]. This applies in particular to all 2-valued logics. For 3-valued logics the class of reduced matrices need not be 1 st order.My notes
Similar books and articles
Three-element nonfinitely axiomatizable matrices.Katarzyna Pałasińska - 1994 - Studia Logica 53 (3):361 - 372.
Algebras and matrices for annotated logics.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2000 - Studia Logica 65 (1):137-153.
Algebraic logic for classical conjunction and disjunction.J. M. Font & V. Verdú - 1993 - Studia Logica 52 (1):181.
Axiomatizing logics closely related to varieties.W. Rautenberg - 1991 - Studia Logica 50 (3-4):607 - 622.
Algebraic logic for classical conjunction and disjunction.Josep M. Font & Ventura Verdú - 1991 - Studia Logica 50 (3-4):391 - 419.
Logical matrices and non-structural consequence operators.Brunetto Piochi - 1983 - Studia Logica 42 (1):33 - 42.
Analytics
Added to PP
2009-01-28
Downloads
43 (#349,602)
6 months
7 (#328,545)
2009-01-28
Downloads
43 (#349,602)
6 months
7 (#328,545)
Historical graph of downloads
Citations of this work
Characterizing equivalential and algebraizable logics by the Leibniz operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.
A study of truth predicates in matrix semantics.Tommaso Moraschini - 2018 - Review of Symbolic Logic 11 (4):780-804.
The Poset of All Logics II: Leibniz Classes and Hierarchy.R. Jansana & T. Moraschini - 2023 - Journal of Symbolic Logic 88 (1):324-362.
On Equational Completeness Theorems.Tommaso Moraschini - 2022 - Journal of Symbolic Logic 87 (4):1522-1575.
Three-element nonfinitely axiomatizable matrices.Katarzyna Pałasińska - 1994 - Studia Logica 53 (3):361 - 372.
References found in this work
Finite replacement and finite hilbert‐style axiomatizability.B. Herrmann & W. Rautenberg - 1992 - Mathematical Logic Quarterly 38 (1):327-344.
Finite replacement and finite Hilbert-style axiomatizability.B. Herrmann & W. Rautenberg - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):327-344.
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-6d9b7f7c4c-v4fj8 uwo