# name
Implication and deduction in some intuitionistic modal logics (1)

# metadata.dc.description[].value
Preprint enviat per a la seva publicació en una revista científica.

# metadata.dc.description.abstract[].value
We sttidy the deductive properties of the System IM4 of intuitionistic modal logic, paying special attention to the implicative ones. This System is the intuítionistic counterpart of Lewis' S4 and its models are the topological pseudo-Boolean algebras. Its abstract deductive strueture is analogous to that of pseudo-Boolean algebras
but here w.ith respect to new implicative operations. These satisfy the Deduction Theorem and allow us to find implicative characterizations of several types of deductive Systems (such as irreducible, maximal, prime) and some related conoepts from universal algebra (simplicity, semisimplicity, radical)...

# metadata.dc.relation.isformatof[].value
Reproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 31.9]

# metadata.dc.source[].value
Preprints de Matemàtiques - Mathematics Preprint Series

# metadata.dc.subject.other[].value
Universitat de Barcelona. Institut de Matemàtica

# metadata.dc.title[].value
Implication and deduction in some intuitionistic modal logics (1)