19 results
STRICTLY n-FINITE VARIETIES OF HEYTING ALGEBRAS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 October 2024, pp. 1-16
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 30 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 01 April 2024, pp. 253-278
- Print publication:
- June 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 04 March 2024, pp. 1-34
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 10 January 2022, pp. 381-417
- Print publication:
- March 2023
-
- Article
-
- You have access
- HTML
- Export citation
THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 10 June 2021, pp. 324-362
- Print publication:
- March 2023
-
- Article
-
- You have access
- HTML
- Export citation
THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 10 June 2021, pp. 935-964
- Print publication:
- September 2021
-
- Article
- Export citation
THE LATTICE OF SUPER-BELNAP LOGICS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 21 April 2021, pp. 114-163
- Print publication:
- March 2023
-
- Article
-
- You have access
- HTML
- Export citation
THE FUNDAMENTAL THEOREM OF CENTRAL ELEMENT THEORY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 07 September 2020, pp. 1599-1606
- Print publication:
- December 2020
-
- Article
- Export citation
NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 13 June 2019, pp. 861-881
- Print publication:
- December 2020
-
- Article
- Export citation
PROJECTIVE CLONE HOMOMORPHISMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 03 May 2019, pp. 148-161
- Print publication:
- March 2021
-
- Article
- Export citation
HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 23 April 2019, pp. 483-502
- Print publication:
- September 2020
-
- Article
- Export citation
PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 21 December 2018, pp. 1566-1578
- Print publication:
- December 2018
-
- Article
- Export citation
THE VARIETY OF COSET RELATION ALGEBRAS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 21 December 2018, pp. 1595-1609
- Print publication:
- December 2018
-
- Article
- Export citation
A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 899-919
- Print publication:
- September 2018
-
- Article
- Export citation
DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 05 February 2018, pp. 40-54
- Print publication:
- March 2018
-
- Article
- Export citation
ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 08 May 2017, pp. 966-994
- Print publication:
- September 2017
-
- Article
- Export citation
THE REDUCTS OF THE HOMOGENEOUS BINARY BRANCHING C-RELATION
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 01 December 2016, pp. 1255-1297
- Print publication:
- December 2016
-
- Article
- Export citation
SATURATED FREE ALGEBRAS REVISITED
-
- Journal:
- Bulletin of Symbolic Logic / Volume 21 / Issue 3 / September 2015
- Published online by Cambridge University Press:
- 15 September 2015, pp. 306-318
- Print publication:
- September 2015
-
- Article
- Export citation
Strongly Abelian Varieties and the Hamiltonian Property
-
- Journal:
- Canadian Journal of Mathematics / Volume 43 / Issue 2 / 01 April 1991
- Published online by Cambridge University Press:
- 20 November 2018, pp. 331-346
- Print publication:
- 01 April 1991
-
- Article
-
- You have access
- Export citation