Results 11 to 20 of about 779,559 (291)
The logical strength of B\"uchi's decidability theorem [PDF]
Logical Methods in Computer Science, 2019 We study the strength of axioms needed to prove various results related to automata on infinite words and B\"uchi's theorem on the decidability of the MSO theory of $(N, {\le})$.
Leszek Kołodziejczyk +3 more
doaj +1 more source
On the algebraic structure of Weihrauch degrees [PDF]
Logical Methods in Computer Science, 2018 We introduce two new operations (compositional products and implication) on Weihrauch degrees, and investigate the overall algebraic structure. The validity of the various distributivity laws is studied and forms the basis for a comparison with similar ...
Vasco Brattka, Arno Pauly
doaj +1 more source
Tameness in least fixed-point logic and McColm's conjecture [PDF]
Logical Methods in Computer Science, 2021 We investigate four model-theoretic tameness properties in the context of least fixed-point logic over a family of finite structures. We find that each of these properties depends only on the elementary (i.e., first-order) limit theory, and we completely
Siddharth Bhaskar, Alex Kruckman
doaj +1 more source
Linear logic in computer science [PDF]
Journal of Applied Mathematics and Computational Mechanics, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
William Steingartner +3 more
openaire +3 more sources
About the range property for H [PDF]
Logical Methods in Computer Science, 2014 Recently, A. Polonsky has shown that the range property fails for H. We give here some conditions on a closed term that imply that its range has an infinite cardinality.
René David, Karim Nour
doaj +1 more source
Logical Methods in Computer Science, 2014 The Stone tautologies are known to have polynomial size resolution refutations and require exponential size regular refutations. We prove that the Stone tautologies also have polynomial size proofs in both pool resolution and the proof system of regular ...
Samuel R. Buss +1 more
doaj +1 more source
The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems [PDF]
Logical Methods in Computer Science, 2015 We investigate wether three statements in analysis, that can be proved classically, are realizable in the realizability model of extensional continuous functionals induced by Kleene's second model $K_2$.
Dag Normann
doaj +1 more source
Representations of measurable sets in computable measure theory [PDF]
Logical Methods in Computer Science, 2014 This article is a fundamental study in computable measure theory. We use the framework of TTE, the representation approach, where computability on an abstract set X is defined by representing its elements with concrete "names", possibly countably ...
Klaus Weihrauch +1 more
doaj +1 more source
Admissibility in Finitely Generated Quasivarieties [PDF]
Logical Methods in Computer Science, 2013 Checking the admissibility of quasiequations in a finitely generated (i.e., generated by a finite set of finite algebras) quasivariety Q amounts to checking validity in a suitable finite free algebra of the quasivariety, and is therefore decidable ...
George Metcalfe +1 more
doaj +1 more source
A duality theoretic view on limits of finite structures: Extended version [PDF]
Logical Methods in Computer Science, 2022 A systematic theory of structural limits for finite models has been developed by Nesetril and Ossona de Mendez. It is based on the insight that the collection of finite structures can be embedded, via a map they call the Stone pairing, in a space of ...
Mai Gehrke, Tomáš Jakl, Luca Reggio
doaj +1 more source