Results 51 to 60 of about 553 (162)

The Additive Logic of Epistemic Reasons: An Axiomatic Account

Theoria, EarlyView.
ABSTRACT The article argues for a system of axioms that is meant to capture the logic of normative reasons for belief. The system concerns a primitive direct‐reason relation, a defined doxastic‐reason relation, and a primitive function for the revision of rational belief by reasons.
Hannes Leitgeb
wiley   +1 more source

Active Learning With a STEM Exercise Pool for Schools and Universities

Proceedings in Applied Mathematics and Mechanics, Volume 26, Issue 4, December 2026.
ABSTRACT The STEM Exercise Pool is a digital, interactive teaching and learning resource for mathematics education in the first year of STEM and teacher training degree programs, as well as for upper secondary school. Developed by a team of experts from several universities, it comprises nearly one thousand quality‐reviewed tasks featuring automatic ...
Michael Heimann, Alexander Lohse, Ruedi Seiler   +2 more
wiley   +1 more source

Context‐free graphs and their transition groups

Transactions of the London Mathematical Society, Volume 13, Issue 1, December 2026.
Abstract Starting from context‐free inverse graphs, we introduce a new class of groups and study their structural properties. We establish closure properties, show that their coword problems are context‐free, analyze torsion elements, and realize them as subgroups of the asynchronous rational group.
Daniele D'Angeli, Francesco Matucci, Davide Perego, Emanuele Rodaro   +3 more
wiley   +1 more source

Concurrency and automata on infinite sequences [PDF]

The paper is concerned with ways in which fair concurrency can be modeled using notations for omega-regular languages - languages containing infinite sequences, whose recognizers a.re modified forms of Buchi or Muller-McNaughton automata.
Park, David
core  

An algebraic theory of ω-regular languages, via μν-expressions [PDF]

Alternating parity automata (APAs) provide a robust formalism for modelling infinite behaviours and play a central role in formal verification. Despite their widespread use, the algebraic theory underlying APAs has remained largely unexplored.
Das, Anupam; id_orcid, De, Abhishek
core   +1 more source

A Common External Framework for Kleene and McCarthy Algebras

Mathematical Logic Quarterly, Volume 72, Issue 4, November 2026.
ABSTRACT Algebras of disjoint alternatives (ADAs), introduced by Manes, are extensions of McCarthy algebras by a unary operator acting as an oracle for the halting problem, and provide a semantics for the equational theory of the if–then–else construct.
Gandolfo Vergottini, Antonio Ledda, Pierluigi Graziani   +2 more
wiley   +1 more source

Applications of algebraic automata theory to quantum finite automata

, 2007
The computational model of Quantum Finite Automata has been introduced by multiple authors (e.g. [38, 44]) with some variations in definition. The objective of this thesis is to understand what class of languages can be recognized by these different ...
Mercer, Mark.
core  

Gesturing While Writing: An Alternate Perspective on Mimetic Prosody

Critical Quarterly, EarlyView.
Paul Magee
wiley   +1 more source

ManyBabies 3: A Multi‐Lab Study of Infant Algebraic Rule Learning

Developmental Science, Volume 29, Issue 6, November 2026.
ABSTRACT The ability to learn and apply rules lies at the heart of cognition. In a seminal study, Marcus et al. (1999) reported that 7‐month‐old infants learned abstract rules over syllable sequences and were able to generalize those rules to novel syllable sequences.
Ingmar Visser, Andreea Geambasu, George Kachergis, Cátia M. Oliveira, Joscelin Rocha‐Hidalgo, Martin Zettersten, Teruni Ahamat, Nicolás Alessandroni, Nadja Althaus, Sudha Arunachalam, Suzanne Aussems, Emma L Axelsson, Zeynep Aydin, Heidi A. Baumgartner, Christina Bergmann, Roberta Bettoni, Alexis K. Black, Hermann Bulf, Krista Byers‐Heinlein, Chiara Capparini, Lily Carroll, Alexandra Carstensen, Rebekka Cebulla, Xiaoyun Chen, Kateřina Chládková, Benedetta Colavolpe, Rodica R Constantine, Elísabet Eir Cortes, Frances L. Doyle, Anna Exner, Samuel H Forbes, Laura Franchin, Alessandra Geraci, Judit Gervain, Nayeli Gonzalez‐Gomez, Silje Hagelund, Erin E Hannon, Naomi Havron, Sagi Jaffe‐Dax, Scott P Johnson, Wiktoria Jędryczka, Natalia Kartushina, Melissa Kline Struhl, Ada Koleini, Abhinav Kona, Shannon P Kong, Jessica E Kosie, Monika Kuc̆erová, Katerina Cook, Jared Wayne Leslie, Casey Lew‐Williams, Scarlet Wan Yee Li, Romi Livne, Ellen Marklund, Julien Mayor, Michal Misiak, David Moreau, Jutta L. Mueller, Amber Muhinyi, Alyssa A Quinn, Maartje E. J. Raijmakers, Audun Rosslund, Iris‐Corinna Schwarz, Jeanne L Shinskey, Mohinish Shukla, Sylvain Sirois, Piotr Sorokowski, Basma Sowan, Tibor Tauzin, Angeline Sin Mei Tsui, Martina Turconi, Rebeca C Urizar, Lisa Wagner, Stephanie Wermelinger, Gert Westermann, Ivonne Weyers, Luiza S. B. Yuan, Martina S. Zaharieva, Tania S. Zamuner, Barbara Zapiór, Simone Zasso, J. Grace Zhou, Melanie Soderstrom, Clara C. Levelt   +83 more
wiley   +1 more source

Process Algebras [PDF]

, 2011
Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems.
De Nicola, Rocco, De Nicola, R
core   +1 more source