I’d like to inform you of a manuscript I have (pre-)published in the arxiv site at
[1107.4696] A different approach to logic.
The paper is about an approach to logic that differs from the standard first-order logic and other known approaches. It should be a new approach I’ve created proposing to obtain a general and unifying approach to logic and a faithful model of human mathematical deductive process.
Further details in the abstract and introduction (and in the paper, of course).
The latest version will be online at Wed, 17 Aug 2011 00:00:00 GMT.