Sciweavers

511 search results - page 103 / 103
» Composition of Semantic Relations: Model and Applications
Sort
View
LOGCOM
2008
94views more  LOGCOM 2008»
13 years 10 months ago
Preservation of Interpolation Features by Fibring
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
Walter Alexandre Carnielli, João Rasga, Cri...