scientific article; zbMATH DE number 2108194
From MaRDI portal
Publication:4820592
zbMath1058.03013MaRDI QIDQ4820592
Publication date: 15 October 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Proof theory in general (including proof-theoretic semantics) (03F03) Intermediate logics (03B55)
Related Items (3)
On rules ⋮ HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
This page was built for publication:
