|
|||||
|
|
Quantified extensions of canonical propositional intermediate logics |
|
| Authors: | Silvio Ghilardi |
| Affiliation: | (1) Dipartimento di Matematica !["ldquo"]("/content/j381633623u6u77u/xlarge8220.gif") F. Enriques!["rdquo"]("/content/j381633623u6u77u/xlarge8221.gif") , Università Degli Studi di Milano via C, Saldini 50, 20133 Milano, Italy |
| Abstract: | The quantified extension of a canonical prepositional intermediate logic is complete with respect to the generalization of Kripke semantics taking into consideration set-valued functors defined on a category. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |