A REMARK ON PROPOSITIONAL CALCULUS WITH VARIABLE FUNCTORS

被引：1

作者：

ARAI, Y

TANAKA, S

机构：

来源：

PROCEEDINGS OF THE JAPAN ACADEMY | 1966年 / 42卷 / 09期

关键词：

D O I：

10.3792/pja/1195521804

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

页码：1056 / &

共 50 条

[1] A FORMALIZATION OF AN M-VALUED PROPOSITIONAL CALCULUS WITH VARIABLE FUNCTORS
JONES, J
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1983, 29 (04): : 377 - 378
[2] A FORMALIZATION OF AN ALEPH-O-VALUED PROPOSITIONAL CALCULUS WITH VARIABLE FUNCTORS
JONES, J
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1982, 28 (06): : 505 - 510
[3] A FORMALISATION OF M-VALUED LUKASIEWICZ IMPLICATIONAL PROPOSITIONAL CALCULUS WITH VARIABLE FUNCTORS
ROSE, A
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1966, 12 (03): : 169 - &
[4] A FORMALISATION OF ALEPH0-VALUED LUKASIEWICZ PROPOSITIONAL CALCULUS WITH VARIABLE FUNCTORS
ROSE, A
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1967, 13 (04): : 289 - &
[5] NEW FORMALIZATION OF PROPOSITIONAL CALCULUS WITH ALEPH (O) LUKASIEWICZ VALUES IN A CASE WITH VARIABLE FUNCTORS
ROSE, A
COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1969, 269 (06): : 265 - &
[6] SOME PROPOSITIONAL CALCULI WITH CONSTANT AND VARIABLE FUNCTORS
JONES, J
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (05): : 477 - 479
[7] ALGEBRAIC FORMULATIONS OF PROPOSITIONAL CALCULI WITH VARIABLE FORMING FUNCTORS
ISEKI, K
PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (09): : 1058 - &
[8] FORMALISATIONS OF MANY-VALUED PROPOSITIONAL CALCULI WITH VARIABLE FUNCTORS
JONES, J
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (05): : 403 - 422
[9] PROPOSITIONAL CALCULUS
KYBURG, H
AMERICAN MATHEMATICAL MONTHLY, 1965, 72 (04): : 437 - &
[10] REMARK ON MONADS AND ADJOINT FUNCTORS
PUMPLUN, D
MATHEMATISCHE ANNALEN, 1970, 185 (04) : 329 - &

← 1 2 3 4 5 →