scientific article
From MaRDI portal
Publication:3384899
Matteo Manighetti, Andrea Condoluci
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1810.07372
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Intermediate logics and Visser's rules
- On disjunctions and existential statements in intuitionistic systems of logic
- Lectures on the Curry-Howard isomorphism
- On the admissible rules of intuitionistic propositional logic
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Admissible and derivable rules in intuitionistic logic
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
- A(nother) characterization of intuitionistic propositional logic