On the axiomatisation of Boolean categories with and without medial

MaRDI QIDQ5423982zbMATH OpenFDO

Authors Lutz Straßburger

Publication date 1 November 2007

Full work available at URL https://eudml.org/doc/128034, http://www.emis.de/journals/TAC/volumes/18/18/18-18abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

proof theoryproof netsclassical logic\(\ast\)-autonomous categoryBoolean category

Mathematics Subject Classification ID

Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• Proof-theoretical coherence
• Boolean restriction categories and taut monads
• Boolean and classical restriction categories
• Proof-net categories
• Symmetric Boolean algebras

Cited in

(4)

• Extension without cut
• Deep inference and probabilistic coherence spaces
• On linear rewriting systems for Boolean logic and some applications to proof theory
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem

This page was built for publication: On the axiomatisation of Boolean categories with and without medial

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5423982)