scientific article; zbMATH DE number 2109539
From MaRDI portal
Publication:4822149
zbMath1061.03028MaRDI QIDQ4822149
Publication date: 25 October 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25) Many-valued logic (03B50) Abstract deductive systems (03B22)
Related Items (4)
A relative interpolation theorem for infinitary universal Horn logic and its applications ⋮ Distributive-lattice semantics of sequent calculi with structural rules ⋮ Many-place sequent calculi for finitely-valued logics ⋮ Subquasivarieties of implicative locally-finite quasivarieties
This page was built for publication:
