40 results in 06Dxx
Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
- Part of
-
- Journal:
- Forum of Mathematics, Sigma / Volume 12 / 2024
- Published online by Cambridge University Press:
- 14 March 2024, e35
-
- 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
DEGREE OF SATISFIABILITY IN HEYTING ALGEBRAS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 09 January 2024, pp. 1-19
-
- Article
- Export citation
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC
$\mathbf {MMTL}\boldsymbol {\forall }$
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 18 October 2023, pp. 1-27
-
- Article
- Export citation
Semidistrim Lattices
- Part of
-
- Journal:
- Forum of Mathematics, Sigma / Volume 11 / 2023
- Published online by Cambridge University Press:
- 16 June 2023, e50
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 20 February 2023, pp. 1-59
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 14 November 2022, pp. 342-382
- Print publication:
- March 2024
-
- Article
- Export citation
ALGEBRAIC EXPANSIONS OF LOGICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 22 June 2022, pp. 74-92
- Print publication:
- March 2023
-
- Article
- Export citation
THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 07 June 2022, pp. 1310-1320
- Print publication:
- September 2023
-
- Article
- Export citation
The spectrum of a localic semiring
- Part of
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 173 / Issue 3 / November 2022
- Published online by Cambridge University Press:
- 28 February 2022, pp. 647-668
- Print publication:
- November 2022
-
- Article
- 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
- Export citation
AN ALGEBRAIC APPROACH TO INQUISITIVE AND
$\mathtt {DNA}$-LOGICS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 02 December 2021, pp. 950-990
- Print publication:
- December 2022
-
- Article
- Export citation
On the Axiomatisability of the Dual of Compact Ordered Spaces
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 28 February 2022, p. 526
- Print publication:
- December 2021
-
- Article
-
- You have access
- HTML
- Export citation
WEIHRAUCH GOES BROUWERIAN
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 30 October 2020, pp. 1614-1653
- Print publication:
- December 2020
-
- Article
- Export citation
WHAT THE ŁUKASIEWICZ AXIOMS MEAN
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 30 October 2020, pp. 906-917
- Print publication:
- September 2020
-
- Article
- Export citation
RECOVERING THE BOUNDARY PATH SPACE OF A TOPOLOGICAL GRAPH USING POINTLESS TOPOLOGY
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 111 / Issue 2 / October 2021
- Published online by Cambridge University Press:
- 04 March 2020, pp. 232-248
- Print publication:
- October 2021
-
- Article
- Export citation
On Annelidan, Distributive, and Bézout Rings
- Part of
- Radicals and radical properties of rings
- Distributive lattices
- Local rings and generalizations
- Modules, bimodules and ideals
- Rings and algebras arising under various constructions
- Boolean algebras (Boolean rings)
- Chain conditions, growth conditions, and other forms of finiteness
- Conditions on elements
-
- Journal:
- Canadian Journal of Mathematics / Volume 72 / Issue 4 / August 2020
- Published online by Cambridge University Press:
- 03 May 2019, pp. 1082-1110
- Print publication:
- August 2020
-
- Article
- Export citation
THE LOOMIS–SIKORSKI THEOREM FOR
$EMV$-ALGEBRAS
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 106 / Issue 2 / April 2019
- Published online by Cambridge University Press:
- 23 August 2018, pp. 200-234
- Print publication:
- April 2019
-
- Article
-
- You have access
- Export citation
REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 105 / Issue 1 / August 2018
- Published online by Cambridge University Press:
- 04 December 2017, pp. 57-78
- Print publication:
- August 2018
-
- Article
-
- You have access
- Export citation
CHARACTERIZATION OF PROJECTIVE QUANTALES
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 100 / Issue 3 / June 2016
- Published online by Cambridge University Press:
- 08 January 2016, pp. 403-420
- Print publication:
- June 2016
-
- Article
-
- You have access
- Export citation