- 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
A Note on Matrices for Systems of Nonsense-Logics
Studia Logica 48 (4):461-464 (1989)
Abstract
We construct a class K of algebras which are matrices of the logical system Z introduced in [4]. It is shown that algebras belonging to the class K are decomposable into disjoint subalgebras which are Boolean algebras.My notes
Similar books and articles
Algebras and matrices for annotated logics.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 2000 - Studia Logica 65 (1):137-153.
Another proof of Wojtylak's theorem.Jacek Hawranek & Jan Zygmunt - 1981 - Bulletin of the Section of Logic 10 (2):80-81.
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
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.
Finite non-deterministic semantics for some modal systems.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton M. Peron - 2015 - Journal of Applied Non-Classical Logics 25 (1):20-45.
A Class of Simpler Logical Matrices for the Variable-Sharing Property.G. Robles & J. M. Méndez - 2011 - Logic and Logical Philosophy 20 (3):241-249.
Matrices, primitive satisfaction and finitely based logics.Janusz Czelakowski - 1983 - Studia Logica 42 (1):89 - 104.
Literal‐paraconsistent and literal‐paracomplete matrices.Renato A. Lewin & Irene F. Mikenberg - 2006 - Mathematical Logic Quarterly 52 (5):478-493.
Pauli-Dirac matrix generators of Clifford Algebras.Charles P. Poole & Horacio A. Farach - 1982 - Foundations of Physics 12 (7):719-738.
Formal systems of fuzzy logic and their fragments.Petr Cintula, Petr Hájek & Rostislav Horčík - 2007 - Annals of Pure and Applied Logic 150 (1-3):40-65.
Dugundji’s Theorem Revisited.Marcelo E. Coniglio & Newton M. Peron - 2014 - Logica Universalis 8 (3-4):407-422.
Analytics
Added to PP
2009-01-28
Downloads
32 (#499,789)
6 months
21 (#126,325)
2009-01-28
Downloads
32 (#499,789)
6 months
21 (#126,325)
Historical graph of downloads
Citations of this work
Exactly true and non-falsity logics meeting infectious ones.Alex Belikov & Yaroslav Petrukhin - 2020 - Journal of Applied Non-Classical Logics 30 (2):93-122.
Generalized Correspondence Analysis for Three-Valued Logics.Yaroslav Petrukhin - 2018 - Logica Universalis 12 (3-4):423-460.
On Vidal's trivalent explanations for defective conditional in mathematics.Yaroslav Petrukhin & Vasily Shangin - 2019 - Journal of Applied Non-Classical Logics 29 (1):64-77.
A Generalisation of a Refutation-related Method in Paraconsistent Logics.Adam Trybus - forthcoming - Logic and Logical Philosophy.
N-valued maximal paraconsistent matrices.Adam Trybus - 2019 - Journal of Applied Non-Classical Logics 29 (2):171-183.
References found in this work
An extension of the algebra of sets.Jerzy Słupecki & Krystyna Piróg-Rzepecka - 1973 - Studia Logica 31 (1):7 - 37.
On an algebra connected with the notion of satisfiability in theories with conditional definitions.K. Hałkowska - 1975 - Bulletin of the Section of Logic 4 (4):154-162.
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-64dd777598-b9rvg uwo