Algebraic characterizations of variable separation properties

Reports on Mathematical Logic (2008)
  Copy   BIBTEX

Abstract

This paper gives algebraic characterizations of Halld\'{e}n completeness, and of Maksimova's variable separation property and its deductive form. Though algebraic characterizations of these properties have been already studied for modal and superintuitionistic logics, e.g. in Wro\'{n}ski [12], pp.126--129), Maksimova [7], pp.168--184), [9], pp.99--112), a deeper analysis of these properties and non-trivial modifications of these results are needed to extend them to those for substructural logics, because of the lack of some structural rules in them. The first attempt in this direction was made in the dissertation \cite{Kih06} of the first author. Results of this paper are partly announced also in Chapter 5 of the book [2]

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2015-02-12

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Hiroakira Ono
Japan Advanced Institute of Science and Technology

References found in this work

No references found.

Add more references