First Page | Document Content | |
---|---|---|
Date: 2012-08-16 12:31:54Philosophical logic Philosophy of language Model theory Belief revision Entailment Interpretation Constructible universe Function Logical connective Logic Logical syntax Propositional calculus | Revising by an Inconsistent Set of Formulas James Delgrande School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 CanadaAdd to Reading ListSource URL: www.cs.sfu.caDownload Document from Source WebsiteFile Size: 189,10 KBShare Document on Facebook |