Fitxers

MPS_N010.pdf (1.54 MB)

Tipus de document

Article

Versió

Versió enviada

Data de publicació

1982

Tots els drets reservats

Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/151345

Implication and deduction in some intuitionistic modal logics (1)

Títol de la revista

Autors

Director/Tutor

Contribució addicional

ISSN de la revista

Títol del volum

Resum

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)...

Descripció

Preprint enviat per a la seva publicació en una revista científica.

Recurs relacionat

Matèries

Modalitat (Lògica), Probabilities

Matèries (anglès)

Universitat de Barcelona. Institut de Matemàtica

Citació

Col·leccions

Preprints de Matemàtiques - Mathematics Preprint Series

Citació

FONT, Josep M. Implication and deduction in some intuitionistic modal logics (1). [consulted: 31 of October of 2026]. Available at: https://hdl.handle.net/2445/151345

Exportar metadades

JSON - METS

Compartir registre