Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 4
Number of items: 4
  • Open Access
    Almeida, R. N. (2025). Π2-rule systems and inductive classes of Gödel algebras. Annals of Pure and Applied Logic, 176(4), Article 103552. https://doi.org/10.1016/j.apal.2025.103552
  • Open Access
    Almeida, R. N., & Ghilardi, S. (2024). Unification With Simple Variable Restrictions and Admissibility of Π2-Rules. In A. Ciabattoni, D. Gabelaia, & I. Sedlár (Eds.), Advances in Modal Logic: AiML 15 (pp. 79-100). College Publications. https://doi.org/10.48550/arXiv.2406.03265
  • Open Access
    Almeida, R. N., & Bezhanishvili, N. (2024). Coalgebraic Semantics for Intuitionistic Modal Logic. In A. Ciabattoni, D. Gabelaia, & I. Sedlár (Eds.), Advances in Modal Logic: AiML 15 (pp. 59-77). College Publications. https://doi.org/10.48550/arXiv.2406.10649
  • Open Access
    Almeida, R. N. (2024). Polyatomic logics and generalized Blok–Esakia theory. Journal of Logic and Computation, 34(5), 887-935. https://doi.org/10.1093/logcom/exad043
Page of