4 results
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
HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM?
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 29 June 2020, pp. 487-504
- Print publication:
- June 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
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