scientific article
From MaRDI portal
Publication:3520842
zbMath1143.03330MaRDI QIDQ3520842
Publication date: 26 August 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)
Related Items (5)
Is Logic Universal or Hierarchical? ⋮ Prawitz, Proofs, and Meaning ⋮ A Duality for Algebras of Lattice-Valued Modal Logic ⋮ Universal Logic as a Science of Patterns ⋮ Structuring co-constructive logic for proofs and refutations
This page was built for publication:
