10 results
A NATURAL DEDUCTION SYSTEM FOR ORTHOMODULAR LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 10 July 2023, pp. 1-40
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 27 January 2022, pp. 1177-1198
- Print publication:
- December 2023
-
- Article
- Export citation
ON THE LOOMIS–SIKORSKI THEOREM FOR MV-ALGEBRAS WITH INTERNAL STATE
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 89 / Issue 3 / December 2010
- Published online by Cambridge University Press:
- 01 April 2011, pp. 317-333
- Print publication:
- December 2010
-
- Article
-
- You have access
- Export citation
The block structure of complete lattice ordered effect algebras
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 83 / Issue 2 / October 2007
- Published online by Cambridge University Press:
- 09 April 2009, pp. 181-216
- Print publication:
- October 2007
-
- Article
-
- You have access
- Export citation
Perfect effect algebras are categorically equivalent with Abelian interpolation po-groups
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 82 / Issue 2 / April 2007
- Published online by Cambridge University Press:
- 09 April 2009, pp. 183-207
- Print publication:
- April 2007
-
- Article
-
- You have access
- Export citation
Loomis-Sikorski theorem for monotone σ-complete effect algebras
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 79 / Issue 3 / December 2005
- Published online by Cambridge University Press:
- 09 April 2009, pp. 305-318
- Print publication:
- December 2005
-
- Article
-
- You have access
- Export citation
Infinitary lattice and Riesz properties of pseudoeffect algebras and po-groups
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 75 / Issue 3 / December 2003
- Published online by Cambridge University Press:
- 09 April 2009, pp. 295-312
- Print publication:
- December 2003
-
- Article
-
- You have access
- Export citation
Central elements and Cantor-Bernstein's theorem for pseudo-effect algebras
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 74 / Issue 1 / February 2003
- Published online by Cambridge University Press:
- 09 April 2009, pp. 121-144
- Print publication:
- February 2003
-
- Article
-
- You have access
- Export citation
Pseudo MV-algebras are intervals in ℓ-groups
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 72 / Issue 3 / June 2002
- Published online by Cambridge University Press:
- 09 April 2009, pp. 427-446
- Print publication:
- June 2002
-
- Article
-
- You have access
- Export citation
Loomis-sikorski theorem for σ-complete MV-algebras and ℓ-groups
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics / Volume 68 / Issue 2 / April 2000
- Published online by Cambridge University Press:
- 09 April 2009, pp. 261-277
- Print publication:
- April 2000
-
- Article
-
- You have access
- Export citation