The Blind Spot
DOI10.4171/088zbMATH Open1238.03045OpenAlexW4245158255MaRDI QIDQ3172800FDOQ3172800
Publication date: 6 October 2011
Full work available at URL: https://doi.org/10.4171/088
proof theorylinear logicCurry-Howard isomorphismgeometry of interactionclassical logicpolarized logic
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) History of mathematical logic and foundations (03-03) Classical first-order logic (03B10) Logic in computer science (03B70) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory and constructive mathematics (03Fxx) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Cited In (17)
- On geometry of interaction for polarized linear logic
- Some Philosophical Aspects of Semantic Theory of Truth
- THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING
- Parsing/theorem-proving for logical grammar \textit{CatLog3}
- Logic Discovered and Logic Imposed (A Purim Story)
- An approach to innocent strategies as graphs
- Category theory, logic and formal linguistics: some connections, old and new
- Interaction graphs: multiplicatives
- Deverbal semantics and the Montagovian generative lexicon \(\Lambda \mathsf {Ty}_n\)
- Dialogues and Proofs; Yankov’s Contribution to Proof Theory
- Justification logic and type theory as formalizations of intuitionistic propositional logic
- Comments on the Contributions
- The decidability of the intensional fragment of classical linear logic
- A natural deduction system for orthomodular logic
- Transcendental syntax I: deterministic case
- Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces
- Models of Linear Logic based on the Schwartz $\varepsilon$-product
This page was built for publication: The Blind Spot
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172800)
