The blind spot. Lectures on logic
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)
- Logic Discovered and Logic Imposed (A Purim Story)
- Parsing/theorem-proving for logical grammar \textit{CatLog3}
- Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces
- Category theory, logic and formal linguistics: some connections, old and new
- Models of Linear Logic based on the Schwartz $\varepsilon$-product
- An approach to innocent strategies as graphs
- Interaction graphs: multiplicatives
- A natural deduction system for orthomodular logic
- Justification logic and type theory as formalizations of intuitionistic propositional logic
- Deverbal semantics and the Montagovian generative lexicon \(\Lambda \mathsf {Ty}_n\)
- The blind spot. Course in logic. I. On the perfection
- The blind spot. Course on logic. II. On the imperfection
- On geometry of interaction for polarized linear logic
- Dialogues and Proofs; Yankov’s Contribution to Proof Theory
- Some Philosophical Aspects of Semantic Theory of Truth
- THE CHARACTERIZATION OF WEIHRAUCH REDUCIBILITY IN SYSTEMS CONTAINING
- Comments on the Contributions
- Transcendental syntax I: deterministic case
- The decidability of the intensional fragment of classical linear logic
This page was built for publication: The blind spot. Lectures on logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172800)
