Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/6934
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Babenyshev, Sergey | pt |
dc.contributor.author | Martins, Manuel A. | pt |
dc.date.accessioned | 2012-02-27T16:27:54Z | - |
dc.date.available | 2012-02-27T16:27:54Z | - |
dc.date.issued | 2010 | - |
dc.identifier.issn | 0138-0680 | pt |
dc.identifier.uri | http://hdl.handle.net/10773/6934 | - |
dc.description.abstract | Whenever a logic is the set of theorems of some deductive system, where the latter has an equivalence system, the behavioral theorems of the logic can be determined by means of that equivalence system. In general, this original equivalence system may be too restrictive, because it su ces to check behavioral theorems by means of any admissible equivalence system (that is an equivalence system of the small- est deductive system associated with the given logic). In this paper, we present a range of examples, which show that: 1) there is an admissible equivalence system which is not an equivalence system for the initial deductive system, 2) there is a non- nitely equivalential deductive system with a nite admissible equivalence system, and 3) there is a deductive system with an admissible equivalence sys- tems, such that this deductive system is not even protoalgebraic itself. We use methods and results from algebraic and modal logic. | pt |
dc.description.sponsorship | FCT via UIMA | pt |
dc.description.sponsorship | FCT via KLog project | pt |
dc.language.iso | eng | pt |
dc.publisher | Department of Logic, University of Lodz | pt |
dc.relation | CEOC/KLog project PTDC/MAT/68723/2006 | pt |
dc.relation | EPSRC/U.K. - grant EP/F014406/1 | pt |
dc.rights | openAccess | por |
dc.subject | Abstract algebraic logic | pt |
dc.subject | Equivalence systems | pt |
dc.subject | Admissible rules | pt |
dc.subject | Leibniz operator | pt |
dc.subject | Behavioral theorems | pt |
dc.title | Admissible equivalence systems | pt |
dc.type | article | pt |
dc.peerreviewed | yes | pt |
ua.distribution | international | pt |
degois.publication.firstPage | 17 | pt |
degois.publication.issue | 1-2 | - |
degois.publication.issue | 1-2 | pt |
degois.publication.lastPage | 33 | pt |
degois.publication.title | Bulletin of the Section of Logic | pt |
degois.publication.volume | 39 | pt |
dc.relation.publisherversion | http://www.filozof.uni.lodz.pl/bulletin/ | * |
Appears in Collections: | DMat - Artigos |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.