On the independent axiomatizability of modal and intermediate logics

Chagrov, A.V. and Zakharyaschev, Michael (1995) On the independent axiomatizability of modal and intermediate logics. Journal of Logic and Computation 5 (3), pp. 287-302. ISSN 0955-792X.

Full text not available from this repository.

Official URL: https://doi.org/10.1093/logcom/5.3.287

Abstract

This paper gives a solution to the old independent axiomatizability problem by presenting normal modal logics above K4 and Grz and an intermediate logic without independent axiomatizations. Incidentally Blok's problem is solved: the lattices of varieties of topological Boolean and pseudo-Boolean algebras are not strongly atomic. We also study the relationship between independent axiomatizability of intermediate logics and their modal companions above S4.

Metadata

Item Type:	Article
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Sarah Hall
Date Deposited:	08 Nov 2021 19:36
Last Modified:	09 Aug 2023 12:52
URI:	https://eprints.bbk.ac.uk/id/eprint/46655

Statistics

Archive Staff Only (login required)

Edit/View Item