scientific article
From MaRDI portal
Publication:3548539
zbMath1243.00003MaRDI QIDQ3548539
Publication date: 16 December 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Logic in the philosophy of science (03A10)
Related Items (9)
An explicit formula for the free exponential modality of linear logic ⋮ Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing ⋮ Classical realizability and arithmetical formulæ ⋮ Specifying Peirce's law in classical realizability ⋮ Focusing in Linear Meta-logic ⋮ A framework for proof systems ⋮ For an epistemology of mathematical contents: Albert Lautman ⋮ Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing ⋮ Non decomposable connectives of linear logic
This page was built for publication:
