ON SOME INTERPRETATIONS OF CLASSICAL LOGIC

DOI10.1002/MALQ.19920380139zbMath0794.03011OpenAlexW2121616340MaRDI QIDQ4295220

Branislav R. Boričić

Publication date: 11 July 1994

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

Full work available at URL: https://doi.org/10.1002/malq.19920380139

zbMATH Keywords

superintuitionistic logicembedding of classical logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (1)

An alternative normalization of the implicative fragment of classical logic

This page was built for publication: ON SOME INTERPRETATIONS OF CLASSICAL LOGIC