Cardinality Reduction Theorem for Logics QHC and QH4
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2023/01/01
-
Journal
-
Indian UGC (journal)
-
Refrences43
-
A. A. Onoprienko
Journal Category
Science
Mathematics
You May Also Like
- On Connection Between the Structure of a Finite Group and the Properties of Its Prime Graph
- Variational and Asymptotic Methods for Finding Eigenvalues below the Continuous Spectrum Threshold
- Products of integral-type operators and composition operators from the mixed norm space to Bloch-type spaces
- The power graph of a finite group, II
- Character degrees of extensions of PSL2(q) and SL2(q)
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
The predicate version of the joint logic of problems and propositions | Математический сборник | 4 | 2022 | |
Kripke semantics for the logic of problems and propositions | Математический сборник | 3 | 2020 | |
| A modal logic amalgam of classical and intuitionistic propositional logic | Journal of Logic and Computation |
| 7 | 2017 |
| 10.1017/S1755020315000374 | The Review of Symbolic Logic |
| 2016 | |
| Self-referentiality of Brouwer–Heyting–Kolmogorov semantics | Annals of Pure and Applied Logic |
| 4 | 2014 |