论文信息 - On matrix representations of consequence operations of Łlukasiewicz's sentential calculi - 字舞流文

On matrix representations of consequence operations of Łlukasiewicz's sentential calculi

Ryszard Wójcicki | R. Wójcicki

[1] Louise Schmir Hay,et al. Axiomatization of the infinite-valued predicate calculus , 1963, Journal of Symbolic Logic.

[2] Robert McNaughton,et al. A Theorem About Infinite-Valued Sentential Logic , 1951, J. Symb. Log..

[3] R. Wójcicki,et al. Some remarks on the consequence operation in sentential logics , 1970 .

[4] J. Łoś,et al. Remarks on sentential logics , 1958 .