Skip to main navigation
Skip to search
Skip to main content
Tel Aviv University Home
Request a data update (TAU staff only)
Home
Experts
Research Units
Research output
Prizes
Activities
Student theses
Search by expertise, name or affiliation
Multiplicative conjunction and an algebraic meaning of contraction and weakening
A. Avron
*
*
Corresponding author for this work
School of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Multiplicative conjunction and an algebraic meaning of contraction and weakening'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Meaning
87%
Axiom
83%
Contraction
81%
Multiplicative
78%
Fragment
37%
Substructural Logics
28%
Multiplicative Functions
24%
Proper subset
23%
Linear Logic
23%
Classical Logic
22%
Soundness
21%
Sharing
20%
Exception
18%
Elimination
18%
Relevance
18%
Algebraic Structure
18%
Converse
17%
Completeness
16%
Theorem
15%
Logic
15%
Framework
11%
Arts & Humanities
Contraction
100%
Algebra
96%
Axioms
93%
Intensional
47%
Substructural Logics
29%
Relevance Logic
29%
Linear Logic
25%
Completeness
21%
Classical Logic
21%
Inference
15%