56 results in 03GXX
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
- Export citation
FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 10 June 2021, pp. 1189-1213
- Print publication:
- September 2021
-
- Article
- Export citation
MOST SIMPLE EXTENSIONS OF $\textbf{FL}_{\textbf{e}}$ ARE UNDECIDABLE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 10 June 2021, pp. 1156-1200
- Print publication:
- September 2022
-
- Article
- 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
MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 08 June 2021, pp. 242-289
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- 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
- Export citation
A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 22 October 2020, pp. 433-447
- Print publication:
- June 2021
-
- Article
- Export citation
A METRIC VERSION OF SCHLICHTING’S THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 07 September 2020, pp. 1607-1613
- Print publication:
- December 2020
-
- Article
- Export citation
INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 04 September 2020, pp. 1147-1162
- Print publication:
- September 2020
-
- Article
- Export citation
CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 05 October 2020, pp. 1044-1078
- Print publication:
- September 2020
-
- Article
- Export citation
THE LOGIC OF INFORMATION IN STATE SPACES
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 25 August 2020, pp. 155-186
- Print publication:
- March 2021
-
- Article
- Export citation
THE LOGIC OF COMPARATIVE CARDINALITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 22 June 2020, pp. 972-1005
- Print publication:
- September 2020
-
- Article
- Export citation
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 18 June 2020, pp. 563-584
- Print publication:
- June 2020
-
- Article
-
- You have access
- Open access
- Export citation
A MINIMAL CONGRUENCE LATTICE REPRESENTATION FOR $\mathbb{M}_{p+1}$
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 108 / Issue 3 / June 2020
- Published online by Cambridge University Press:
- 24 March 2020, pp. 332-340
- Print publication:
- June 2020
-
- Article
- Export citation
FROM TOPOLOGIES OF A SET TO SUBRINGS OF ITS POWER SET
- Part of
-
- Journal:
- Bulletin of the Australian Mathematical Society / Volume 102 / Issue 1 / August 2020
- Published online by Cambridge University Press:
- 20 February 2020, pp. 15-20
- Print publication:
- August 2020
-
- Article
- Export citation
The Weak Order on Weyl Posets
- Part of
-
- Journal:
- Canadian Journal of Mathematics / Volume 72 / Issue 4 / August 2020
- Published online by Cambridge University Press:
- 29 January 2019, pp. 867-899
- Print publication:
- August 2020
-
- Article
- Export citation
CLOSURE OPERATORS, FRAMES AND NEATEST REPRESENTATIONS
- Part of
-
- Journal:
- Bulletin of the Australian Mathematical Society / Volume 96 / Issue 3 / December 2017
- Published online by Cambridge University Press:
- 21 June 2017, pp. 361-373
- Print publication:
- December 2017
-
- Article
-
- You have access
- Export citation
NEW GENERALIZED $h$-IMPLICATIONS
- Part of
-
- Journal:
- The ANZIAM Journal / Volume 58 / Issue 3-4 / April 2017
- Published online by Cambridge University Press:
- 24 May 2017, pp. 276-286
-
- Article
-
- You have access
- Export citation
POLYCYCLIC, METABELIAN OR SOLUBLE OF TYPE (FP)∞ GROUPS WITH BOOLEAN ALGEBRA OF RATIONAL SETS AND BIAUTOMATIC SOLUBLE GROUPS ARE VIRTUALLY ABELIAN
- Part of
-
- Journal:
- Glasgow Mathematical Journal / Volume 60 / Issue 1 / January 2018
- Published online by Cambridge University Press:
- 13 March 2017, pp. 209-218
- Print publication:
- January 2018
-
- Article
-
- You have access
- 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