scientific article; zbMATH DE number 7297824
From MaRDI portal
Publication:5144622
zbMath1452.03065arXiv1607.05120MaRDI QIDQ5144622
Francesco A. Genco, Agata Ciabattoni, Federico Aschieri
Publication date: 19 January 2021
Full work available at URL: https://arxiv.org/abs/1607.05120
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Unnamed Item ⋮ On the concurrent computational content of intermediate logics ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents
This page was built for publication:
