Matematisk logik
Filter
Very Short Introductions: Brilliant, Sharp, Inspiring Kurt Gödel first published his celebrated theorem, showing that no axiomatization can determine the whole truth and nothing …
The publication of Rasiowa and Sikorski's The Mathematics of Metamathematics (1970), Rasiowa's An Algebraic Approach to Non-Classical Logics (1974), and Wójcicki's Theory of …
Logical monism is the claim that there is a single correct logic, the 'one true logic' of our title. The view has evident appeal, as it reflects assumptions made in ordinary …