- 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.Other Versions
No versions found
My notes
Similar books and articles
Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics.Angel Gil & Jordi Rebagliato - 2006 - Reports on Mathematical Logic.
Characterization of the reduced matrices for the {∧,∨}-fragment of classical logic.J. M. Font, F. Guzmán & V. Verdú - 1991 - Bulletin of the Section of Logic 20 (3/4):124-128.
Algebras and matrices for annotated logics.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2000 - Studia Logica 65 (1):137-153.
Belnap's four-valued logic and De Morgan lattices.Josep Font - 1997 - Logic Journal of the IGPL 5 (1):1--29.
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31 - 60.
A General Characterization of the Variable-Sharing Property by Means of Logical Matrices.Gemma Robles & José M. Méndez - 2012 - Notre Dame Journal of Formal Logic 53 (2):223-244.
A Note on Matrices for Systems of Nonsense-Logics.Katarzyna HaŁkowska - 1989 - Studia Logica 48 (4):461-464.
Analytics
Added to PP
2009-01-28
Downloads
60 (#357,289)
6 months
16 (#191,673)
2009-01-28
Downloads
60 (#357,289)
6 months
16 (#191,673)
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.
The Poset of All Logics II: Leibniz Classes and Hierarchy.R. Jansana & T. Moraschini - 2023 - Journal of Symbolic Logic 88 (1):324-362.
A study of truth predicates in matrix semantics.Tommaso Moraschini - 2018 - Review of Symbolic Logic 11 (4):780-804.
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-667477cd97-wmc4m dc2