Logic and Foundations
- 123
- Fuzzy Systems by James F. Brule'
- Covers the history, main concepts, applications and peer objections. Includes bibliography and additional resources.
- 124
- Intuitionistic Topology and Foundations of Constructive Mathematics
- Math page of Frank Waaldijk, containing articles and PhD thesis on foundations of constructive mathematics and intuitionistic topology. Also links to other mathematicians in this field.
- 126
- The Logic of More
- Analysis of a ripple adder in binary logic and alternative designs in ternary and multi-value logics.
- 130
- The Calculus of Structures - Modal Logics
- Several normal propositional modal logics are systematically presented in the calculus of structures and cut elimination is proved. By Alessio Guglielmi.
- 131
- Efficient Symbolic Tools
- A BDD based tool for the formal verification of concurrent systems using a propositional branching-time temporal logic: action computation tree logic (ACTL). It runs under different OS, including Linux and Windows 95/98/NT.