Opening book details…
About this Mathematics article
Strong equivalence on an intuitionistic Kripke model and assertorically equivolumetric logics by A. Yu. Muravitskii is a Mathematics article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Mathematics.
- Author
- A. Yu. Muravitskii
- Publisher
- Springer US; Springer-Verlag; Springer New York LLC; Springer Science and Business Media LLC (ISSN 0002-5232)
- Published
- 1981
- Language
- EN
- Field
- Mathematics (Physical Sciences)