Skip to main navigation
Skip to search
Skip to main content
Tel Aviv University Home
Update Request & User Guide (TAU staff only)
Link opens in a new tab
Search content at Tel Aviv University
Home
Experts
Research units
Research output
Datasets
Prizes
Activities
Press/Media
Non-Deterministic Semantics for Logical Systems
Arnon Avron
, Anna Zamansky
School of Computer Science and AI
Tel Aviv University
Research output
:
Chapter in Book/Report/Conference proceeding
›
Chapter
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Non-Deterministic Semantics for Logical Systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Automata Theory
25%
Classical Logic
25%
Compositionality
25%
Computability Theory
25%
Empty Set
25%
Logical Connectives
25%
Logical Systems
100%
Many-valued Logic
25%
Motivation
25%
Multi-valued
25%
Non-deterministic Matrices
25%
Non-deterministic Semantics
100%
Nondeterminism
25%
Nondeterministic Computation
25%
Truth Table
25%
Truth Value
100%
Truth-functionality
50%
Mathematics
Apply It
25%
Classical Logic
25%
Computability Theory
25%
Logical Connective
25%
Logical System
100%
Matrix (Mathematics)
50%
Natural Generalization
25%
Nonempty Set
25%
Truth Table
25%
Truth Value
100%