scientific article; zbMATH DE number 6307933

zbMath1320.03087MaRDI QIDQ4981448

Paulo Oliva, Gilda Ferreira

Publication date: 24 June 2014

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

zbMATH Keywords

intuitionistic logicclassical logicminimal logicnegative translationintuitionistic linear logicdouble-negation translation

Mathematics Subject Classification ID

Classical first-order logic (03B10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Subsystems of classical logic (including intuitionistic logic) (03B20) Relative consistency and interpretations (03F25)

Related Items (9)

Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited ⋮ Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory ⋮ A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory ⋮ Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs ⋮ Double negation semantics for generalisations of Heyting algebras ⋮ Unnamed Item ⋮ A Kuroda-style \(j\)-translation ⋮ A proof-theoretic approach to negative translations in intuitionistic tense logics ⋮ FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION

This page was built for publication: