scientific article

zbMath1248.03003MaRDI QIDQ3091729

Ruy J. G. B. de Queiroz, Anjolina de Oliveira, Dov M. Gabbay

Publication date: 13 September 2011

Full work available at URL: http://ebooks.worldscinet.com/ISBN/9789814360968/toc.shtml

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

labeled deductive system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Functionals in proof theory (03F10) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

The Rule of Existential Generalisation and Explicit Substitution ⋮ Adding logic to the toolbox of molecular biology ⋮ Unnamed Item ⋮ The Functional Interpretation of Direct Computations

This page was built for publication: