Nonstandard Logics and Extensions

Analysis of a ripple adder in binary logic and alternative designs in ternary and multi-value logics.

A section of the SWIF map of logic on the WWW. Resources are in English and Italian.

Home page of a working group maintained by Thierry Coquand.

A definition of the concept.

Disseratation by Mads Dan, investigating the general model theory of propositional relevance logic.

ITT Industries, Inc., USA.

RMIT University, Australia.