—SEC. 05 — Nonstandard Logics and Extensions
Nonstandard Logics and Extensions
— SEC. 01
Subcategories
Subcategories
Browse by subcategory.
— SEC. 02
Listings
Listings
All links in this category.
Showing 1–7 of 7 editor-approved links.
Many-valued_Logic
The Logic of More
www.ternarylogic.com
Analysis of a ripple adder in binary logic and alternative designs in ternary and multi-value logics.
Added May 10, 2026
Substructural_Logics
Substructural and Paraconsistent Logics
lgxserver.uniba.it
A section of the SWIF map of logic on the WWW. Resources are in English and Italian.
Added May 10, 2026
Martin-Löf's_Type_Theory
Martin-Löf Type Theory: Semantics and Proof Theory
www.cs.chalmers.se
Home page of a working group maintained by Thierry Coquand.
Added May 10, 2026
Provability_and_Interpretability_Logics
Interpretability
en.wikipedia.org
A definition of the concept.
Added May 10, 2026
Relevance_Logic
Relevance Logic and Concurrent Composition
www.dcs.ed.ac.uk
Disseratation by Mads Dan, investigating the general model theory of propositional relevance logic.
Added May 10, 2026
People
Cervesato, Lliano
theory.stanford.edu
ITT Industries, Inc., USA.
Added May 10, 2026
People
Harland, James
goanna.cs.rmit.edu.au
RMIT University, Australia.
Added May 10, 2026