scientific article; zbMATH DE number 1354165
From MaRDI portal
Publication:4268480
zbMath0925.03038MaRDI QIDQ4268480
Publication date: 28 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05)
Related Items (4)
Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach ⋮ Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials ⋮ The contraction rule and decision problems for logics without structural rules ⋮ Proof theory of paraconsistent quantum logic
This page was built for publication:
