共 50 条
- [45] OMITTING TYPES IN SELF-EXTENDING MODELS NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (05): : 831 - &
- [47] Validation sets in RΔ-fuzzy logics and RS-fuzzy logics INTELLIGENT TECHNOLOGIES - THEORY AND APPLICATIONS: NEW TRENDS IN INTELLIGENT TECHNOLOGIES, 2002, 76 : 137 - 138
- [49] A representation theorem for preferential logics PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE (KR '96), 1996, : 453 - 460