Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
On the Semantics of Classical Disjunction
Eike Ritter
, D Pym
Computer Science
Research output
:
Contribution to journal
›
Article
12
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'On the Semantics of Classical Disjunction'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
μ-calculus
100%
Semantics
95%
Natural Deduction
49%
Sequent Calculus
44%
Boolean algebra
38%
Model
36%
Categorical
34%
Continuation
33%
Form
30%
Trivial
29%
Calculus
29%
Class
21%
Standards
20%
Family
17%