- 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 structural completeness of many-valued logics
Studia Logica 37 (2):139 - 147 (1978)
Abstract
In the paper some consequence operations generated by ukasiewicz's matrices are examined.My notes
Similar books and articles
Model-theoretic investigations into consequence operation (cn) in quantum logics: An algebraic approach.Piotr Wilczek - unknown
The completeness of the factor semantics for łukasiewicz's infinite-valued logics.Vladimir L. Vasyukov - 1993 - Studia Logica 52 (1):143 - 167.
An axiomatization of the finite-valued łukasiewicz calculus.Roman Tuziak - 1988 - Studia Logica 47 (1):49 - 55.
On structural completeness of implicational logics.Piotr Wojtylak - 1991 - Studia Logica 50 (2):275 - 297.
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.
A simple proof of functional completeness in many-valued logics based on Ł ukasiewicz's $C$ and $N$.Robert E. Clay - 1962 - Notre Dame Journal of Formal Logic 3 (2):114-117.
Many-valued logics and Suszko's thesis revisited.Marcelo Tsuji - 1998 - Studia Logica 60 (2):299-309.
Analytics
Added to PP
2009-01-28
Downloads
66 (#245,290)
6 months
3 (#965,065)
2009-01-28
Downloads
66 (#245,290)
6 months
3 (#965,065)
Historical graph of downloads
Citations of this work
Structural Completeness in Substructural Logics.J. S. Olson, J. G. Raftery & C. J. Van Alten - 2008 - Logic Journal of the IGPL 16 (5):453-495.
Structural Completeness in Fuzzy Logics.Petr Cintula & George Metcalfe - 2009 - Notre Dame Journal of Formal Logic 50 (2):153-182.
The lattice of strengthenings of a strongly finite consequence operation.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):177 - 193.
Structural and universal completeness in algebra and logic.Paolo Aglianò & Sara Ugolini - 2024 - Annals of Pure and Applied Logic 175 (3):103391.
Zagadnienie stopni maksymalnoścl. (Przegląd).Grzegorz Malinowski - 1985 - Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica 3:37-57.
References found in this work
Matrix approach in methodology of sentential calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.
A theorem about infinite-valued sentential logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.
A Theorem About Infinite-Valued Sentential Logic.Robert Mcnaughton - 1951 - Journal of Symbolic Logic 16 (3):227-228.
On matrix representations of consequence operations of Łlukasiewicz's sentential calculi.Ryszard Wójcicki - 1973 - Mathematical Logic Quarterly 19 (14‐18):239-247.
Matrycowe podejście W metodologii rachunków zdaniowych.R. Wójcicki - 1973 - Studia Logica 32 (1):38-38.
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-zf4z4 uwo