scientific article; zbMATH DE number 7324581
From MaRDI portal
Publication:4966006
Vitaliĭ Valentinovich Rimatskiĭ
Publication date: 18 March 2021
Full work available at URL: http://mathnet.ru/eng/jsfu10
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Cites Work
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic
- Bases of admissible rules of the logics S4 and Int
- Admissibility of logical inference rules
- On the admissible rules of intuitionistic propositional logic
- Construction of an Explicit Basis for Rules Admissible in Modal System S4
- One hundred and two problems in mathematical logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: