Note on Rules of Inference

DOI10.1002/MALQ.19650110302MaRDI QIDQ5519119zbMATH OpenOpenAlexFDO

Authors Hao Wang

Publication date 1965

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/210108

zbMATH Keywords

mathematical logic

Cited in

(2)

• The deducibilities of S5
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

This page was built for publication: Note on Rules of Inference

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