The pseudovariety is hyperdecidable
The recursive sets in certain monadic second order fragments of arithmetic.
The resolution tableau for logics of likelihood
The second-order monadic theory of the free inverse monoid is undecidable. (La théorie monadique du second ordre du monoïde inversif libre est indécidable.)
The Soft Logic of Thomas Harriot
The strength of Turing determinacy within second order arithmetic
We investigate the reverse mathematical strength of Turing determinacy up to Σ₅⁰, which is itself not provable in second order arithmetic.
The study on semicopula based implications
Recently, Baczyński et al. (2017) proposed a new family of implication operators called semicopula based implications, which combines a given a priori fuzzy implication and a semicopula. In this paper, firstly, the relationship between the basic properties of the priori fuzzy implication and the semicopula based implication are analyzed. Secondly, the conditions such that the semicopula based implication is a fuzzy implication are studied, the study is carried out mainly in the case that the semicopula...
The theory of abelian p-groups with the quantifier I is decidable
The theory of Archimedean real closed fields in logics with Ramsey quantifiers
The theory of boolean algebras with a distinguished subalgebra is undecidable
The theory of differentially closed fields in logics with cardinal quantifiers.
The Theory of Successor with an Extra Predicate.
The Undecidability of Pseudo Real Closed Fields.
Theorem Provers for Substructural Logics
Théorème de Church-Rosser et structuration des langues naturelles
Theorem-proving systems [Book]
Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes
Theorien abelscher Gruppen mit einem einstelligen Prädikat
Theories of orders on the set of words
It is shown that small fragments of the first-order theory of the subword order, the (partial) lexicographic path ordering on words, the homomorphism preorder, and the infix order are undecidable. This is in contrast to the decidability of the monadic second-order theory of the prefix order [M.O. Rabin, Trans. Amer. Math. Soc., 1969] and of the theory of the total lexicographic path ordering [P. Narendran and M. Rusinowitch, Lect. Notes Artificial Intelligence, 2000] and, in case of the subword...
Theories of orders on the set of words
It is shown that small fragments of the first-order theory of the subword order, the (partial) lexicographic path ordering on words, the homomorphism preorder, and the infix order are undecidable. This is in contrast to the decidability of the monadic second-order theory of the prefix order [M.O. Rabin, Trans. Amer. Math. Soc., 1969] and of the theory of the total lexicographic path ordering [P. Narendran and M. Rusinowitch, Lect. Notes Artificial Intelligence, 2000] and, in case of the ...