Sequent calculi and quasivarieties
From MaRDI portal
Publication:2752412
zbMATH Open0991.03056MaRDI QIDQ2752412
Publication date: 10 June 2002
Published in: Reports on Mathematical Logic (Search for Journal in Brave)
free algebrasequent calculusfusionrelatively point-regular quasivarietiessymmetric contraction rules
BCK-algebras, BCI-algebras (06F35) Algebraic logic (03G99) Quasivarieties (08C15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (5)
A mereotopology based on sequent algebras ⋮ Sequent Calculus in the Topos of Trees ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Order-enriched categorical models of the classical sequent calculus
This page was built for publication: Sequent calculi and quasivarieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2752412)
