- 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
Matrix representations for structural strengthenings of a propositional logic
Studia Logica 38 (3):263 - 266 (1979)
Abstract
The aim of this paper is to show that the operations of forming direct products and submatrices suffice to construct exhaustive semantics for all structural strengthenings of the consequence determined by a given class of logical matrices.My notes
Similar books and articles
A note on direct products and ultraproducts of logical matrices.Jan Zygmunt - 1974 - Studia Logica 33 (4):349 - 357.
Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic.Wies?aw Dziobiak - 1983 - Studia Logica 42 (2-3):173 - 177.
The lattice of strengthenings of a strongly finite consequence operation.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):177 - 193.
Logical matrices and non-structural consequence operators.Brunetto Piochi - 1983 - Studia Logica 42 (1):33 - 42.
Some theorems on structural consequence operations.Stephen L. Bloom - 1975 - Studia Logica 34 (1):1 - 9.
On structural completeness of many-valued logics.Piotr Wojtylak - 1978 - Studia Logica 37 (2):139 - 147.
Algebras and matrices for annotated logics.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2000 - Studia Logica 65 (1):137-153.
Pseudo-referential matrix semantics for propositional logics.Grzegorz Malinowski - 1983 - Bulletin of the Section of Logic 12 (3):90-96.
Analytics
Added to PP
2009-01-28
Downloads
51 (#447,550)
6 months
13 (#197,488)
2009-01-28
Downloads
51 (#447,550)
6 months
13 (#197,488)
Historical graph of downloads
Citations of this work
Modal Consequence Relations Extending $mathbf{S4.3}$: An Application of Projective Unification.Wojciech Dzik & Piotr Wojtylak - 2016 - Notre Dame Journal of Formal Logic 57 (4):523-549.
The lattice of strengthenings of a strongly finite consequence operation.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):177 - 193.
Common Logic of 2‐Valued Semigroup Connectives.Wolfgang Rautenberg - 1991 - Mathematical Logic Quarterly 37 (9‐12):187-192.
References found in this work
Matrix approach in methodology of sentential calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.
The logics stronger than Łukasiewicz's three valued sentential calculus-the notion of degree of maximality versus the notion of degree of completeness.Ryszard Wójcicki - 1974 - Studia Logica 33 (2):201-214.
Matrycowe podejście W metodologii rachunków zdaniowych.R. Wójcicki - 1973 - Studia Logica 32 (1):38-38.
A strongly finite logic with infinite degree of maximality.Marek Tokarz - 1976 - Studia Logica 35 (4):447 - 451.
Degrees of maximality of Klukasiewicz-like sentential calculi.Grzegorz Malinowski - 1977 - Studia Logica 36 (3):213-228.
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-99fc7d78b-9qhf6 uwo