scientific article
From MaRDI portal
Publication:3607410
zbMath1156.03003MaRDI QIDQ3607410
Publication date: 2 March 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)
Related Items (3)
A meta-logic of inference rules: Syntax ⋮ The logic of finite order ⋮ Deductive systems with multiple-conclusion rules and the disjunction property
This page was built for publication:
