A class of realizable propositional formulas

DOI10.1007/BF01117462zbMath0259.02020OpenAlexW2056229360MaRDI QIDQ2560227

F. L. Varpakhovskii

Publication date: 1973

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01117462

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Propositional Calculus and Realizability
• Unnamed Item
• Unnamed Item

This page was built for publication: A class of realizable propositional formulas