Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/151345
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Font, Josep M. | - |
dc.date.accessioned | 2020-02-27T12:49:03Z | - |
dc.date.available | 2020-02-27T12:49:03Z | - |
dc.date.issued | 1982 | - |
dc.identifier.uri | http://hdl.handle.net/2445/151345 | - |
dc.description | Preprint enviat per a la seva publicació en una revista científica. | ca |
dc.description.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)... | ca |
dc.format.extent | 10 p. | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | ca |
dc.publisher | Universitat de Barcelona | ca |
dc.relation.isformatof | Reproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 31.9] | - |
dc.relation.ispartofseries | Mathematics Preprint Series; 10 | ca |
dc.rights | (c) Font Llovet, Josep Maria,, 1982 | - |
dc.source | Preprints de Matemàtiques - Mathematics Preprint Series | - |
dc.subject.classification | Modalitat (Lògica) | - |
dc.subject.classification | Probabilities | - |
dc.subject.other | Universitat de Barcelona. Institut de Matemàtica | - |
dc.title | Implication and deduction in some intuitionistic modal logics (1) | ca |
dc.type | info:eu-repo/semantics/article | ca |
dc.type | info:eu-repo/semantics/submittedVersion | - |
dc.identifier.dl | DL B 25143-1982 | - |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
Appears in Collections: | Preprints de Matemàtiques - Mathematics Preprint Series |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
MPS_N010.pdf | 1.57 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.