Studia Logica 37 (2):139 - 147 (1978)
| Abstract |
In the paper some consequence operations generated by ukasiewicz's matrices are examined.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1007/BF02124799 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
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.
On Matrix Representations of Consequence Operations of Łlukasiewicz's Sentential Calculi.Ryszard Wójcicki - 1973 - Mathematical Logic Quarterly 19 (14‐18):239-247.
A Theorem About Infinite-Valued Sentential Logic.Robert Mcnaughton - 1951 - Journal of Symbolic Logic 16 (3):227-228.
Matrycowe Podejście W Metodologii Rachunków Zdaniowych.R. Wójcicki - 1973 - Studia Logica 32 (1):38-38.
View all 6 references / Add more references
Citations of this work BETA
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.
On Two Properties of Structurally Complete Logics.Andrzej Biela & Wies law Dziobiak - 1982 - Bulletin of the Section of Logic 11 (3/4):154-158.
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 index
2009-01-28
Total views
61 ( #188,928 of 2,518,713 )
Recent downloads (6 months)
1 ( #408,070 of 2,518,713 )
2009-01-28
Total views
61 ( #188,928 of 2,518,713 )
Recent downloads (6 months)
1 ( #408,070 of 2,518,713 )
How can I increase my downloads?
Downloads
