Two separation theorems for natural deduction

DOI10.1305/ndjfl/1093958557zbMath0173.00301OpenAlexW2008869356MaRDI QIDQ2531860

Hugues Leblanc

Publication date: 1966

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093958557

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

A survey of nonstandard sequent calculi

This page was built for publication: Two separation theorems for natural deduction