First Page | Document Content | |
---|---|---|
Date: 2009-10-23 18:50:09Model theory Predicate logic Non-classical logic Quantification Interpretation First-order logic Independence-friendly logic FO Lambda calculus Logic Mathematical logic Philosophical logic | On the Formal Semantics of IF-like Logics Santiago Figueiraa,b , Daniel Gor´ına , Rafael Grimsonc a Departamento de Computaci´ on, FCEyNAdd to Reading ListSource URL: www.glyc.dc.uba.arDownload Document from Source WebsiteFile Size: 443,43 KBShare Document on Facebook |