scientific article; zbMATH DE number 7439430

zbMath1486.03102arXiv1502.04773MaRDI QIDQ5015213

Michele Basaldella

Publication date: 6 December 2021

Full work available at URL: https://arxiv.org/abs/1502.04773

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Chu spaces, concept lattices, and domains
• Computational ludics
• Parametric \(\lambda \)-theories
• A survey of abstract algebraic logic
• Locus Solum: From the rules of logic to the logic of rules
• From Focalization of Logic to the Logic of Focalization
• Semantic types
• Information Flow
• Information links in domain theory

This page was built for publication: