scientific article
From MaRDI portal
Publication:3987175
zbMath0748.03037MaRDI QIDQ3987175
Publication date: 28 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Curry's paradox\textit{modus ponens}provability interpretationintuitionist logicparadoxes of set theoryBPC
Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)
Related Items (6)
Implication via spacetime ⋮ Sequent calculi for Visser's propositional logics ⋮ A closer look at some subintuitionistic logics ⋮ Neighborhood Semantics for Basic and Intuitionistic Logic ⋮ Basic predicate calculus ⋮ Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics
This page was built for publication: