The following pages link to Algebra of proofs (Q788719):
Displaying 31 items.
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- Algebraic proofs over noncommutative formulas (Q642520) (← links)
- Coherence in Cartesian closed categories and the generality of proofs (Q750442) (← links)
- Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics (Q929639) (← links)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- A cut-free Gentzen-type system for the logic of the weak law of excluded middle (Q1100191) (← links)
- The linear abstract machine (Q1105351) (← links)
- Algebra of constructions. I. The word problem for partial algebras (Q1107515) (← links)
- A note on sequent calculi intermediate between LJ and LK (Q1115420) (← links)
- Kohaerenz in Kategorien mit Gruppenstruktur (Q1158238) (← links)
- Quantifier-complete categories (Q1238805) (← links)
- A cut-elimination proof in intuitionistic predicate logic (Q1304543) (← links)
- A maximal monoidal closed category of distributive algebraic domains (Q1346712) (← links)
- On the semantics of the universal quantifier (Q1371430) (← links)
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Sequent calculus for classical logic probabilized (Q1712933) (← links)
- Cut elimination in categories (Q1817695) (← links)
- Coherence via focusing for symmetric skew monoidal categories (Q2148789) (← links)
- Categorical interpretation of logical derivations and its applications in algebra (Q2452950) (← links)
- Multiplicative linear logics and fibrations (Q2842824) (← links)
- Real Algebraic Strategies for MetiTarski Proofs (Q2907335) (← links)
- Proposition algebra (Q2946640) (← links)
- On a connection between algebra, logic and linguistics (Q3495524) (← links)
- Algebre categoriali ed equazioni flessibili (una generalizzazione dell’ algebra universale) (Q3943113) (← links)
- Proof Complexity Meets Algebra (Q4617977) (← links)
- Identity of Proofs Based on Normalization and Generality (Q4650310) (← links)
- Proof of a S.Mac Lane conjecture (extended abstract) (Q5057466) (← links)
- Monoidal logics: completeness and classical systems (Q5379321) (← links)
- Reversible monadic computing (Q5971401) (← links)
- Automata and coalgebras in categories of species (Q6666774) (← links)
