Logical approximation II
The paper continues a study of extensional formulas and their representation by normal forms. The notion of extensional formula is extended to the case when extensionality is considered with respect to a binary reflexive relation. It has been proved that extensional formulas can be represented by no...
Gespeichert in:
| Veröffentlicht in: | Soft computing (Berlin, Germany) Germany), 2003-02, Vol.7 (4), p.228-233 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | The paper continues a study of extensional formulas and their representation by normal forms. The notion of extensional formula is extended to the case when extensionality is considered with respect to a binary reflexive relation. It has been proved that extensional formulas can be represented by normal forms of infinite type and “approximated” by normal forms of finite type. All proofs are given formally in fuzzy predicate BL-logic. |
|---|---|
| ISSN: | 1432-7643 1433-7479 |
| DOI: | 10.1007/s00500-002-0209-3 |