# Fingerprint Dive into the research topics where Department of Philosophy is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

- Sort by
- Weight
- Alphabetically

### Mathematics

Linear Logic

Cut-elimination

Completeness

Logic

Abstract Data Types

Type Systems

Fragment

Phase Space

Higher-order Logic

Proof Nets

Calculus

First-order Logic

First-order

Normalization

Multiplicative

Higher Order

Intuitionistic Logic

Correctness

Schema

Formal Model

Security Protocols

Theorem

Strictly positive

Game

Semantics

Pattern Matching

Classical Logic

Natural Deduction

Labeled Trees

Finite Models

Cryptographic Protocols

Inference Rules

Characterization Theorem

Knowledge Acquisition

Generalise

Modal Logic

Predicate Logic

Graph in graph theory

Reasoning

Diagram

Euler

Security Analysis

Correspondence

Proposition

Probabilistic Methods

Formal Analysis

Independence Results

Hilbert

Diffie-Hellman

Circle

Corollary

Algebraic Specification

Strong Normalization

Counterexample

Inclusion

Cryptography

Polynomial time

Drugs

Computer Science

Ontology

Refinement

Computational Model

Proof Search

Paradigm

Specification Languages

Assign

Stochastic Processes

Trace

Query

Term

Probability Distribution

Real-time

Natural number

Collision

Resources

Axioms

Formal Semantics

Arbitrary

Recursion

Soundness

### Engineering & Materials Science

Semantics

Abstract data types

Network protocols

Pattern matching

Cryptography

Drug interactions

Robots

Human robot interaction

Specification languages

Knowledge acquisition

Linguistics

Experiments

Design of experiments

Ontology

Random processes

Substitution reactions

Demonstrations

Probability distributions

Polynomials

Syntactics

Students

Logic programming