共 50 条
- [21] EXTENSION OF THEORIES OF HOMOLOGY COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1972, 274 (10): : 828 - &
- [23] GENERALIZED FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (06): : A527 - A527
- [24] Enriched Lawvere Theories for Operational Semantics ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (323): : 106 - 135
- [25] Computation of the semantics of autoepistemic belief theories Artificial Intelligence, 1999, 112 (01): : 233 - 250
- [28] SEMANTICS FOR PURE THEORIES OF CONNEXIVE IMPLICATION REVIEW OF SYMBOLIC LOGIC, 2022, 15 (03): : 591 - 606
- [29] TEXT SEMANTICS AND VARIOUS INFORMATION THEORIES NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1971, (10): : 10 - &
- [30] NORMAL SCIENCE AND THE EXTENSION OF THEORIES BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1985, 36 (03): : 241 - 256