18 results
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
MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 20 April 2023, pp. 583-636
- Print publication:
- June 2024
-
- Article
- Export citation
UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 20 April 2022, pp. 1576-1605
- Print publication:
- December 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
$\mathrm {KF}$ , $\mathrm {PKF}$ , AND REINHARDT’S PROGRAM
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 08 February 2022, pp. 33-58
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
FRACTIONAL-VALUED MODAL LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 31 August 2021, pp. 1033-1052
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 25 March 2021, pp. 425-448
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
GÖDEL ON MANY-VALUED LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 22 February 2021, pp. 655-671
- Print publication:
- September 2023
-
- Article
- Export citation
THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 27 October 2020, pp. 362-396
- Print publication:
- March 2021
-
- 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
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 POWER OF NAIVE TRUTH
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 06 July 2020, pp. 225-258
- Print publication:
- March 2022
-
- Article
- 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
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
Free algebras in varieties of BL-algebras generated by a BLn-chain
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 80 / Issue 3 / June 2006
- Published online by Cambridge University Press:
- 09 April 2009, pp. 419-439
- Print publication:
- June 2006
-
- 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
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