scientific article

From MaRDI portal

Publication:2971275

Jump to:navigation, search

DOI10.4467/20842589RM.16.002.5279zbMath1403.03119MaRDI QIDQ2971275

Bruno Dinis, Gilda Ferreira

Publication date: 4 April 2017

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

zbMATH Keywords

predicative polymorphism instantiation overflow natural deducation

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Rasiowa-Harrop disjunction property ⋮ Atomic polymorphism and the existence property ⋮ The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2971275&oldid=15972243"