References
D.Brown and R.Suszko, Abstract Logics, Dissertationes Mathematicae 102 (1973), 1–41.
G. Grätzer, Universal Algebra, Van Nostrand (1968).
J.Łoś and R.Suszko, Remarks on Sentential Logics, Indagationes Mathematicae 30 (1958), 177–183.
B.Piochi, Logical Matrices and Non-Structural Consenquence Operators, Studia Logica 42 (1983), 33–42.
Z.Stachniak, Note on Structural Logics, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 31 (1985), 317–320.
Z.Stachniak, Two Theorems on Many-Valued Logics, Journal of Philosophical Logic 17 (1988), 171–179.
Z. Stachniak and P. O'Hearn, Resolution in the Domain of Strongly Finite Logics (to appear); see also York University Technical Report CS-87-14 (1987).
R.Wójcicki, Matrix Approach in Methodology of Sentential Calculi, Studia Logica 32 (1973), 7–37.
J.Zygmunt, An Application of Lindenbaum Method in the Domain of Strongly Finite Sentential Calculi, Acta Universitatis Wratislaviensis 517 (1983), 59–68.
Author information
Authors and Affiliations
Additional information
This research was supported by the Natural Sciences and Engineering Research Council of Canada under grant A9136.
Rights and permissions
About this article
Cite this article
Stachniak, Z. Many-valued computational logics. J Philos Logic 18, 257–274 (1989). https://doi.org/10.1007/BF00274067
Issue Date:
DOI: https://doi.org/10.1007/BF00274067