PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION

DOI10.1017/bsl.2017.26OpenAlexW2898580860WikidataQ129027721 ScholiaQ129027721MaRDI QIDQ4961867

Tor Sandqvist

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

zbMATH Keywords

first-order logiccut eliminationinfinitary logicintuitionistic logicstructural rulesatomic inference

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Related Items (1)

THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY

Cites Work

• Infinitary propositional intuitionistic logic
• Infinitary intuitionistic logic from a classical point of view
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: PRESERVATION OF STRUCTURAL PROPERTIES IN INTUITIONISTIC EXTENSIONS OF AN INFERENCE RELATION