Restructuring Logic
Logic
2014-03-12 v1
Abstract
The outline of a programme for restructuring mathematical logic. We explain what we mean by "restructuring" and carry out exemplary parts of the programme.
Keywords
Cite
@article{arxiv.1403.2710,
title = {Restructuring Logic},
author = {Joachim Derichs},
journal= {arXiv preprint arXiv:1403.2710},
year = {2014}
}