ASCEND
BY NTHRYS

NTHRYS › PhD Assistance › Mathematical Logic Foundations

Mathematical Logic Foundations

Field
▾
Category
▾

Mathematical Logic Foundations

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Linear Logic and Resource Semantics

Studies logical systems where formulas represent consumable resources, with applications to computation and quantum logic.

Exponential Modalities and Proof-Theoretic Geometry
Resource Graphs: From Linear Logic to Computational Models
Quantum Semantics of Linear Implication
Categorical Traces and Linear Feedback Systems
Bunched Logics and Spatial Resource Composition
Differential Linear Logic and Smooth Resource Spaces
Ordered Linearity: Substructural Hybrids and Logic Programming
Polarization Phenomena in Linear Proof Search
Multiplicative Semantics Beyond Classical Tensors
Focalization and Computational Efficiency in Resource Systems

All Mathematical Logic & Foundations PhD categories