Arithmetic and Logic Structures

Latest research

1. Expressive Power of Propositionally Quantified Modal Logics on Variable Domain Structures with Accessibility

   • Eliya Cohen

   in Journal of Philosophical Logic

   Article 19 February 2026

2. A congruence family modulo powers of 5 for generalized cubic partitions via the localization method

   • Dalen Dockery

   in The Ramanujan Journal

   Article 18 February 2026

3. On Modal Companions of Logics with Strong Negation

   • Dmitry M. Anishchenko

   in Studia Logica

   Article 12 February 2026

4. Variable Sharing and Mathematical Practice

   • Franci Mangraviti

   in Journal of Logic, Language and Information

   Article Open access 06 February 2026

5. Some Inverse Results on Restricted Signed Sumset

   • Mohan

   in Frontiers of Mathematics

   Article 05 February 2026

6. Semi-boolean and Yosida \(\ell \)-Groups, Martínez and Yosida frames, and the \(G+B\) Construction

   • Papiya Bhattacharjee
   • Anthony W. Hager
   • Brian Wynne

   in Order

   Article 04 February 2026

7. Congruences Modulo Powers of 3 between the Coefficients of Mock Theta Functions

   • Yu Guan
   • Dazhao Tang

   in Bulletin of the Malaysian Mathematical Sciences Society

   Article 02 February 2026

8. A purely algebraic proof of the omega-reducibility of pseudovarieties representing low half levels of concatenation hierarchies

   • Jana Volaříková

   in Semigroup Forum

   Article Open access 29 January 2026

   

9. Unveiling structure in linear equations: discerning and disregarding critical aspects

   • Anna Holmlund

   in Educational Studies in Mathematics

   Article Open access 20 January 2026

   

10. Rational points on Shimura varieties classifying abelian varieties with quaternionic multiplication

    • Koji Matsuda

    in The Ramanujan Journal

    Article 19 January 2026

11. Generalized congruences for \((k,\ell )\)-regular bipartitions modulo powers of 5

    • C. Shivashankar
    • Nithin Anthony Kumar
    • N. Girisha

    in ANNALI DELL'UNIVERSITA' DI FERRARA

    Article 14 January 2026

12. Automatic generator of mathematical logic questions in French with automated correction

    • Wandji Alain Chamfort
    • Moukouop Nguena Ibrahim
    • Wafo Guy

    in Sādhanā

    Article 05 January 2026

    

13. Number Theory Combination: Natural Density and SMT

    • Guilherme V. Toledo
    • Yoni Zohar

    in Frontiers of Combining Systems

    Conference paper Open access 2026

    

14. Complementable Normal Form of Parametrized Automata

    • Franziska Alber
    • Philipp Rümmer

    in Implementation and Application of Automata

    Conference paper 2026

    

15. Schematic Reasoning in GAPT

    • Alexander Leitsch
    • David Michael Cerna
    • Anela Lolic

    in First-Order Schemata and Inductive Proof Analysis

    Chapter 2026

    

16. Algebraic Structures Associated with Bipolar Complex Fuzzy Sets

    • Ubaid ur Rehman
    • Tahir Mahmood

    in Bipolar Complex Fuzzy Sets

    Chapter 2026

    

17. Fast Elliptic Curve Scalar Multiplications in SN(T)ARK Circuits

    • Liam Eagen
    • Youssef El Housni
    • Thomas Piellard

    in Progress in Cryptology – LATINCRYPT 2025

    Conference paper 2026

    

18. Philosophical Applications

    • Edson Bezerra
    • Jonathan Erenfryd

    in Metainferences in Substructural Logics

    Chapter 2026

    

19. A Hybrid Reasoning System for Visual Arithmetic Learning

    • Wenbo Zhang
    • Colin G. Johnson
    • Ender Özcan

    in Artificial Intelligence XLII

    Conference paper 2026

    

20. Correction to: Graded Relation Updates in Modal Logic

    • Raul Fervari
    • Daniel Figueiredo
    • Manuel A. Martins

    in Logic, Language, Information, and Computation

    Conference paper 2026

    

Related journals

• 

  Journal

  Studia Logica

  The journal mission The leading idea of Lvov-Warsaw School of Logic, Philosophy and Mathematics was to investigate philosophical problems by means of...

  Publishing model

  Hybrid

  Journal Impact Factor

  0.6 (2024)

  Downloads

  76,578 (2025)

  Submission to first decision(median)

  5 days

• 

  Journal

  Archive for Mathematical Logic

  The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other...

  Publishing model

  Hybrid

  Journal Impact Factor

  0.4 (2024)

  Downloads

  86,975 (2025)

  Submission to first decision(median)

  38 days

• 

  Journal

  Journal of Automated Reasoning

  The Journal of Automated Reasoningis dedicated to the theory, implementation, and applications of logical reasoning by computer. The topics of...

  Publishing model

  Hybrid

  Journal Impact Factor

  0.8 (2024)

  Downloads

  141,193 (2025)

  Submission to first decision(median)

  7 days