Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals | Journal of Logic and Computation |
| 9 | 2005 |
Admissible Rules of Modal Logics | Journal of Logic and Computation |
| 57 | 2005 |
Unification through projectivity | Journal of Logic and Computation |
| 47 | 1997 |
Structural Completeness in Fuzzy Logics | Notre Dame Journal of Formal Logic |
| 23 | 2009 |
Structural Completeness in Substructural Logics | Logic Journal of the IGPL |
| 33 | 2008 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
The polyhedral geometry of Wajsberg hoops | Journal of Logic and Computation |
| 2 | 2023 |
Structural Completeness in Many-Valued Logics with Rational Constants | Notre Dame Journal of Formal Logic |
| 1 | 2022 |
Sugihara algebras: Admissibility algebras via the test spaces method | Journal of Pure and Applied Algebra |
| 1 | 2020 |
Multi-Agent Logics with Multi-Valuations and Intensional Logical Operations | Lobachevskii Journal of Mathematics |
| 2020 | |
Multiagent Temporal Logics with Multivaluations | Siberian Mathematical Journal |
| 2018 |