Non-Standard Logics" In the kinds of non-standard logics included, this bibliography aims for completeness, although it has not yet succeeded.
In the coverage of any given non-standard logic, it does not at all aim for completeness. Instead it aims to include works suitable as introductions for those who are already familiar with standard first-order logic. Looking at these non-standard logics gives us an indirect, but usefully clear and comprehensive idea of the usually hazy notion of "standardness". In standard first-order logics: Wffs are finite in length (although there may be infinitely many of them).
Taxonomy of the Logical Fallacies. Logicly - A logic circuit simulator for Windows, Mac, and Linux - logic gates, flip-flops, computer architecture. Logical Paradoxes.