Department of Philosophy

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.

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
Strictly positive
Game
Theorem
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
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
Query
Term
Probability Distribution
Real-time
Natural number
Collision
Resources
Formal Semantics
Arbitrary
Recursion
Trace

Engineering & Materials Science

Semantics
Abstract data types
Pattern matching
Network protocols
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