Sciweavers

73
Voted
LOGCOM
2008
94views more  LOGCOM 2008»
14 years 8 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...