Uniform Gentzen systems

DOI10.2307/2271361zbMATH Open0197.27305OpenAlexW2129418945MaRDI QIDQ5594589FDOQ5594589

Authors: Raymond M. Smullyan 

Publication date: 1968

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271361

zbMATH Keywords

general logic

Cites Work

• Title not available (Why is that?)
• A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
• Title not available (Why is that?)

Cited In (3)

• EXPtime tableaux for ALC
• Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
• Jean van Heijenoort's contributions to proof theory and its history

This page was built for publication: Uniform Gentzen systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5594589)