Bazsites.com Nonstandard Logics And Extensions

Directory Topics

Fuzzy

On the Web

A New Deconstructive Logic: Linear Logic (1997) - Article by V. Danos, J.-B. Joinet and H. Schellinx outlining how linear logic can function as a `mark-up logic' allowing the embedding of a large class of logics in a manner that respects their underlying proof semantics (cf. Nuel Belnap's Display Logic).
Modal epistemic logic - An extensive overview of the subject.
Game Semantics or Linear Logic? - A discussion of how linear logic relates to computability logic - the game-sematically introduced logic of computational resources and interactive computation.
Interpretability Logic - Open Encyclopedia article.
Phil Wadler's Linear Logic Publications - Includes his tutorial paper "A taste of linear logic".
Provability Logic - Open Encyclopedia article.
Applications of Linear Logic to Computation (1993) - Survey article by Vladimir Alexiev providing an overview of existing applications of Linear Logic to issues of computation. Discusses implications of the theory in several fields of theoretical computer science, such as functional programming, and the correct treatment of negation in logic programming.
Linear Logic as a Good Logical Foundation for Computer Science - A brief analysis of the computational aspects of linear logic by Max Kanovich.
Computational Interpretations of Linear Logic (1993) - Article by Samson Abramsky which proposes a formulae-as-types correspondence first for intuitionsitic linear logic, and then for classical linear logic.
Modal Logics - A concise introduction to modal logics by Anthony A. Aaby.

Wikipedia Articles

Eyelash extensions - A natural wear, a natural look, and a natural feel are what is expected after receiving eyelash extensions. Like hair extensions, eyelash extensions are a cosmetic process whereby synthetic materials are applied to create a fuller, longer look.
Epiphany-extensions - Epiphany-extensions is a set of official extensions to the Epiphany web browser. Extensions include:
Extensions of symmetric operators - In functional analysis, one is interested in extensions of symmetric operators acting on a Hilbert space. Of particular importance is the existence, and sometimes explicit constructions, of self-adjoint extensions.
Simple HTML Ontology Extensions - In the semantic web, Simple HTML Ontology Extensions are a small set of HTML extensions designed to give web pages semantic meaning by allowing information such as class, subclass and property relationships. SHOE had little adoption due to the limited vocabulary of ways that HTML pages could be coded.
Managed Extensions for C++ - Managed Extensions for C++ or just Managed C++ is Microsoft's set of deviations from C++, including grammatical and syntactic extensions, keywords and attributes, to bring the C++ syntax and language to the .NET Framework.