Linear Logic

Latest research

1. Symbolic computer algebra for multipliers revisited - demonstrating the significance of order and phase optimization

   • Alexander Konrad
   • Christoph Scholl

   in Formal Methods in System Design

   Article Open access 19 March 2026

   

2. Applying Saturation-Based Theorem Proving to Open Problems in Positive Implicational Logic

   • Branden Fitelson
   • Nicolas Peltier

   in Journal of Automated Reasoning

   Article Open access 18 March 2026

   

3. Finding One Excellent Element in Case of One Lie

   • Aanchal Gupta
   • Gyula O. H. Katona

   in Journal of Statistical Theory and Practice

   Article Open access 18 March 2026

4. Modeling and detecting high-level events in healthcare applications exploiting ISEQL+

   • Fabio Persia
   • Anton Dignös
   • Daniela D’Auria

   in Soft Computing

   Article Open access 17 March 2026

   

5. Advancing firefighter games: novel integer programming formulations and the cost-value model

   • Marta Baldomero-Naranjo
   • Jörg Kalcsics
   • Catriona Wedderburn

   in Annals of Operations Research

   Article Open access 17 March 2026

   

6. Bipolar multi-adjoint relation equations with join-irreducible right-hand side

   • M. Eugenia Cornejo
   • David Lobo
   • Jesús Medina

   in Computational and Applied Mathematics

   Article Open access 16 March 2026

   

7. Four Imprints of Belnap’s Useful Four-Valued Logic in Computer Science

   • Tomáš Jakl

   in Studia Logica

   Article Open access 12 March 2026

8. Canonical Forms and Widening for Two Variables Per Inequality Systems

   • Martin Brain
   • Jacob M. Howe

   in Mathematics in Computer Science

   Article Open access 11 March 2026

   

9. LexEntail: A Multi-Stage Reranking Pipeline with LLM-Based Reasoning for Legal Case Entailment

   • Hoang-Trung Nguyen
   • Tan-Minh Nguyen
   • Thi-Hai-Yen Vuong

   in The Review of Socionetwork Strategies

   Article 11 March 2026

   

10. Bridging concurrency theory and epistemic models: a formal framework for dynamic multi-agent systems

    • Alessandro Aldini
    • Ludovico Fusco

    in Journal of Logic, Language and Information

    Article Open access 11 March 2026

    

11. Towards a library for straight-line programs

    • Joris van der Hoeven
    • Grégoire Lecerf

    in Applicable Algebra in Engineering, Communication and Computing

    Article 10 March 2026

    

12. The Algebra of Analytic Containment

    • Francesco Paoli
    • Damian Szmuc
    • Martina Zirattu

    in Journal of Logic, Language and Information

    Article 10 March 2026

    

13. On Quasi-LPV Realizations in Controllable and Observable Canonical Forms

    • Deepti Khimani
    • Machhindranath Patil
    • Sharad Bhartiya

    in International Journal of Control, Automation, and Systems

    Article 10 March 2026

    

14. On the Relationship Between Logic’s Neutrality and Theory Closure

    • Massimiliano Carrara
    • Andrea Strollo

    in Journal of Philosophical Logic

    Article Open access 10 March 2026

15. Normal forms and representable functions in Moisil logic

    • Andrei Sipoş

    in Algebra universalis

    Article Open access 09 March 2026

16. The revised practitioner’s guide to MDP model checking algorithms

    • Arnd Hartmanns
    • Sebastian Junges
    • Maximilian Weininger

    in International Journal on Software Tools for Technology Transfer

    Article Open access 09 March 2026

17. Algorithmic Transformations of Partial Orders into Linearly Ordered Structures

    • I. Sh. Kalimullin

    in Algebra and Logic

    Article 07 March 2026

    

18. Relational assessment in hypersoft sets: a decision-maker driven approach

    • Orhan Dalkılıç

    in Computational and Applied Mathematics

    Article Open access 07 March 2026

    

19. Performance Enhanced CMOS Pass Transistor Logic Based Multi-Bit Comparators at 45 nm & 90 nm Technologies

    • H. B. Bore Gowda
    • S. B. Rudraswamy
    • H. R. Shashidhara

    in Circuits, Systems, and Signal Processing

    Article 07 March 2026

    

20. A novel three-way decision-making framework based on fractional double hierarchy linguistic term sets

    • Muhammad Awais
    • Muhammad Sajjad
    • Muhammad Mukhtar Qureshi

    in Evolutionary Intelligence

    Article 07 March 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

  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

• 

  Journal

  Journal of Philosophical Logic

  The Journal of Philosophical Logicaims to provide a forum for work at the crossroads of philosophy and logic, old and new, with contributions...

  Publishing model

  Hybrid

  Journal Impact Factor

  1.0 (2024)

  Downloads

  103,113 (2025)

  Submission to first decision(median)

  21 days