VariousWords beta

Look up related words, definitions and more.

(examples: cat , ball , various , more... or by topic )
Results for:

Linear logic

Related Terms:

Noun

Definition: A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" versions of the typical binary connectives and truth constants; and which has a pair of modal, "exponential" operators for resource management, to help make up for the loss of the two structural rules.

We hope you enjoyed looking up some related words and definitions. We use various open machine learning and human sources to provide a more coherent reference that pure AI can provide. Although there are similar sites out there, they are filled with nonsense and gibberish due to their pure machine learning approach. Our dataset is in part derived from ConceptNet and WordNet with our own sprinkle of magic. We're always working on improving the data and adding more sources. Thanks for checking us out!