Skip to main navigation
Skip to search
Skip to main content
Tel Aviv University Home
Update Request & User Guide (TAU staff only)
Home
Experts
Research units
Research output
Prizes
Activities
Press/Media
Student theses
Search by expertise, name or affiliation
Quasi-canonical systems and their semantics
Arnon Avron
*
*
Corresponding author for this work
School of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
3
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Quasi-canonical systems and their semantics'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Canonical System
100%
Connectives
40%
Gentzen
40%
Type Systems
40%
Information Processing
20%
Large Classes
20%
Whole Class
20%
Cut Elimination
20%
Logic Rules
20%
Subformula Property
20%
Truth Value
20%
Unary
20%
Deterministic Matrix
20%
Non-deterministic Matrices
20%
Strong Cut
20%
Coherence Criterion
20%
Mathematics
Canonical System
100%
Matrix (Mathematics)
40%
Type System
40%
Truth Value
20%
Unary Connective
20%