Sciweavers

IGPL
2008

Complete Axiomatisations of Properties of Finite Sets

13 years 11 months ago
Complete Axiomatisations of Properties of Finite Sets
We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, both taking a finite set as argument. We present a basic Hilbert-style axiomatisation, and study its completeness. The main results are syntactic and semantic characterisations of complete extensions of the logic.
Thomas Ågotnes, Michal Walicki
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2008
Where IGPL
Authors Thomas Ågotnes, Michal Walicki
Comments (0)