PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION
From MaRDI portal
Publication:4961867
DOI10.1017/bsl.2017.26OpenAlexW2898580860WikidataQ129027721 ScholiaQ129027721MaRDI QIDQ4961867
Publication date: 26 October 2018
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/bsl.2017.26
first-order logiccut eliminationinfinitary logicintuitionistic logicstructural rulesatomic inference
Related Items (1)
Cites Work
This page was built for publication: PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION