213 results in 03BXX
Decidability of the class of all the rings $\mathbb {Z}/m\mathbb {Z}$: A problem of Ax
- Part of
-
- Journal:
- Forum of Mathematics, Sigma / Volume 11 / 2023
- Published online by Cambridge University Press:
- 24 July 2023, e64
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CONNEXIVE IMPLICATIONS IN SUBSTRUCTURAL LOGICS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 24 July 2023, pp. 1-32
-
- Article
- Export citation
TESTING DEFINITIONAL EQUIVALENCE OF THEORIES VIA AUTOMORPHISM GROUPS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 17 July 2023, pp. 1-22
-
- Article
- Export citation
SUBJECT-MATTER AND INTENSIONAL OPERATORS III: STATE-SENSITIVE SUBJECT-MATTER AND TOPIC SUFFICIENCY
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 12 July 2023, pp. 1-27
-
- Article
- Export citation
RELEVANT CONSEQUENCE RELATIONS: AN INVITATION
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 30 June 2023, pp. 1-31
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
IS CANTOR’S THEOREM A DIALETHEIA? VARIATIONS ON A PARACONSISTENT APPROACH TO CANTOR’S THEOREM
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-18
-
- Article
- Export citation
AN EGOCENTRIC LOGIC OF KNOWING HOW TO TELL THEM APART
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-33
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
BIG IN REVERSE MATHEMATICS: THE UNCOUNTABILITY OF THE REALS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-34
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
FINITE AXIOMATIZABILITY OF TRANSITIVE MODAL LOGICS OF FINITE DEPTH AND WIDTH WITH RESPECT TO PROPER-SUCCESSOR-EQUIVALENCE
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 23 June 2023, pp. 1-14
-
- Article
- Export citation
THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 14 June 2023, pp. 1367-1386
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
UNPRINCIPLED
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 13 June 2023, pp. 1-40
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
FIRST-ORDER FRIENDLINESS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 07 June 2023, pp. 1-15
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
NON-CONTRACTIVE LOGICS, PARADOXES, AND MULTIPLICATIVE QUANTIFIERS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 05 June 2023, pp. 1-22
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
HYBRID PARTIAL TYPE THEORY
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 May 2023, pp. 1-43
-
- Article
- Export citation
The first-order theory of binary overlap-free words is decidable
- Part of
-
- Journal:
- Canadian Journal of Mathematics , First View
- Published online by Cambridge University Press:
- 26 May 2023, pp. 1-19
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ON THREE-VALUED PRESENTATIONS OF CLASSICAL LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 11 May 2023, pp. 1-23
-
- Article
- Export citation
THE REVERSE MATHEMATICS OF ${\mathsf {CAC\ FOR\ TREES}}$
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 28 April 2023, pp. 1-23
-
- Article
- Export citation
MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 20 April 2023, pp. 1-54
-
- Article
- Export citation
UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 20 April 2023, pp. 264-293
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
CANONICITY IN POWER AND MODAL LOGICS OF FINITE ACHRONAL WIDTH
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 22 March 2023, pp. 1-31
-
- Article
-
- You have access
- Open access
- HTML
- Export citation