Files

MPS_N010.pdf (1.54 MB)

Document type

Article

Version

Submitted version

Publication date

1982

All rights reserved

Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/151345

Implication and deduction in some intuitionistic modal logics (1)

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

Abstract

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

Description

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

Subject

Modalitat (Lògica), Probabilities

Subject (English)

Universitat de Barcelona. Institut de Matemàtica

Citation

Collections

Preprints de Matemàtiques - Mathematics Preprint Series

Citation

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

Export metadata

JSON - METS

Share record