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)
- 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}
- An approach to innocent strategies as graphs
- Logic Discovered and Logic Imposed (A Purim Story)
- Category theory, logic and formal linguistics: some connections, old and new
- Gentzen-Mints-Zucker duality
- Interaction graphs: multiplicatives
- Linear logic in a refutational setting
- Deverbal semantics and the Montagovian generative lexicon \(\Lambda \mathsf {Ty}_n\)
- The blind spot. Course in logic. I. On the perfection
- Dialogues and Proofs; Yankov’s Contribution to Proof Theory
- Justification logic and type theory as formalizations of intuitionistic propositional logic
- Equivalences in diagrammatic sets
- Comments on the Contributions
- The decidability of the intensional fragment of classical linear logic
- Syntactically and semantically regular languages of -terms coincide through logical relations
- 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
- Failure of Beth's theorem in relevance logics
- The blind spot. Course on logic. II. On the imperfection
- Models of Linear Logic based on the Schwartz \varepsilon-product
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)
