Search Results - "Mathematical logic"

What Absurdity Is Not in Natural Deduction: Structural Approach and the Empty Set.

Authors: Pezlar, Ivo¹, pezlar@flu.cas.cz

Source: Topoi: An International Review of Philosophy; May2026, Vol. 45 Issue 2, p627-641, 15p

ENCODING PEANO ARITHMETIC IN A MINIMAL FRAGMENT OF SEPARATION LOGIC.

Authors: ITO, SOHEI TATSUTA, MAKOTO

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-30, 30p

KNOWLEDGE PROBLEMS IN PROTOCOL ANALYSIS: EXTENDING THE NOTION OF SUBTERM CONVERGENT.

Authors: BUNCH, CARTER SATTERFIELD, SARAID DWYER ERBATUR, SERDAR et al.

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-26, 26p

A Formalisation of Aristotle's Assertoric Syllogistic in Isabelle/HOL.

Authors: Koutsoukou-Argyraki, Angeliki Wapniarski, Karol

Source: Topoi: An International Review of Philosophy; May2026, Vol. 45 Issue 2, p693-705, 13p

Frege's anti-psychologism and the pending debate on evolutionism in logic.

Authors: Mesquita, Antônio Alonso, Enrique

Source: Teorema; 2026, Vol. 45 Issue 2, p1-12, 12p

Δ-Randomized Divergent Degree and Consistent Degree of Theories in Π Δ.

Authors: Hu, Jiangshan Sui, Yunyun

Source: Axioms (2075-1680). May2026, Vol. 15 Issue 5, p314. 14p.

NeSySwarm-IDS: End-to-End Differentiable Neuro-Symbolic Logic for Privacy-Preserving Intrusion Detection in UAV Swarms.

Authors: Yang, Gang Ni, Lin Xia, Tao et al.

Source: Applied Sciences (2076-3417); Apr2026, Vol. 16 Issue 7, p3204, 23p

PROVER-ADVERSARY GAMES FOR SYSTEMS OVER (NON-DETERMINISTIC) BRANCHING PROGRAMS.

Authors: DAS, ANUPAM DELKOS, AVGERINOS

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-34, 34p

PRIME FACTORIZATION IN MODELS OF PV1.

Authors: JEŽIL, ONDŘEJ¹, ondrej.jezil@email.cz

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-13, 13p

ONE IS ALL YOU NEED: ASSOCIATIVE SECOND-ORDER UNIFICATION WITHOUT FIRST-ORDER VARIABLES.

Authors: CERNA, DAVID M. PARSERT, JULIAN

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-23, 23p

Discussion on Consequences of Undecidability in Physics on the Theory of Everything.

Authors: Cui, Weicheng^1,2 cuiweicheng@westlake.edu.cn

Source: Journal of Holography Applications in Physics. Spring2026, Vol. 6 Issue 2, p125-131. 7p.

Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic.

Authors: de Almeida Borges, Ana Joosten, Joost J.

Source: Studia Logica. Apr2026, Vol. 114 Issue 2, p263-295. 33p.

Algebraic Semantics for a Mixed Type Fragment of IPC.

Authors: Lipka, Eryk Słomczyńska, Katarzyna

Source: Studia Logica. Apr2026, Vol. 114 Issue 2, p237-261. 25p.

Orbit problems for free-abelian times free groups and related families.

Authors: Carvalho, André Delgado, Jordi

Source: Journal of Algebra & Its Applications. Apr2026, Vol. 25 Issue 5, p1-16. 16p.

Icehotel or Wonderland? Reimagining the United States' National Incident Management System.

Authors: Wier, Lisa McAleavy, Tony

Source: Journal of Business Continuity & Emergency Planning. Spring2025, Vol. 19 Issue 3, p281-302. 22p.

A model-theoretic approach to didactic research on proof and proving in mathematics.

Authors: Durand-Guerrier, Viviane¹ viviane.durand-guerrier@umontpellier.fr

Source: Congress of the European Society for Research in Mathematics Education. 2/4/2026, Vol. 14, p142-149. 8p.

There is a Logical Negation: "Yes," "No," Both, Neither.

Authors: Simonelli, Ryan¹ ryanasimonelli@gmail.com

Source: Australasian Journal of Logic. 2026, Vol. 23 Issue 1, p55-78. 24p.

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

Authors: Chamfort, Wandji Alain Ibrahim, Moukouop Nguena Guy, Wafo

Source: Sādhanā: Academy Proceedings in Engineering Sciences. Mar2026, Vol. 51 Issue 1, p1-19. 19p.

Subjects: Mathematical logic, Natural language processing, Educational evaluation, French language, Educational objectives

Breaking the speed limit. (cover story)

Authors: Elwes, Richard

Source: New Scientist; 4/25/2026, Vol. 270 Issue 3592, p38-41, 4p, 2 Color Photographs, 1 Cartoon or Caricature

On NSOP2 theories.

Authors: Mutchnik, Scott¹ mutchnik@uic.edu

Source: Journal of the European Mathematical Society (EMS Publishing). 2026, Vol. 238 Issue 8, p3475-3498. 24p.