DSpace
 
  Repositório Institucional da Universidade de Aveiro > Departamento de Matem├ítica > MAT - Artigos >
 Admissible equivalence systems
Please use this identifier to cite or link to this item http://hdl.handle.net/10773/6934

title: Admissible equivalence systems
authors: Babenyshev, Sergey
Martins, Manuel A.
keywords: Abstract algebraic logic
Equivalence systems
Admissible rules
Leibniz operator
Behavioral theorems
issue date: 2010
publisher: Department of Logic, University of Lodz
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.
URI: http://hdl.handle.net/10773/6934
ISSN: 0138-0680
publisher version/DOI: http://www.filozof.uni.lodz.pl/bulletin/
source: Bulletin of the Section of Logic
appears in collectionsMAT - Artigos

files in this item

file description sizeformat
aes.pdfPreprint356.28 kBAdobe PDFview/open
statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! RCAAP OpenAIRE DeG├│is
ria-repositorio@ua.pt - Copyright ©   Universidade de Aveiro - RIA Statistics - Powered by MIT's DSpace software, Version 1.6.2