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
Activities
Search by expertise, name or affiliation
A non-deterministic view on non-classical negations
Arnon Avron
School of Computer Sciences
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'A non-deterministic view on non-classical negations'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Logic
83%
Fragment
52%
Semantics
45%
Nondeterminism
32%
Intuitionistic Logic
31%
Classical Logic
30%
Decision Procedures
30%
Soundness
29%
False
26%
Family
24%
Completeness
22%
Standards
14%
Arts & Humanities
Negation
100%
Logic
61%
Decision Procedures
37%
Gentzen
36%
Intuitionistic Logic
33%
Classical Logic
30%
Completeness
27%