Loading...
Please wait, while we are loading the content...
Similar Documents
Some remarks on axiomatizing logical consequence operations
| Content Provider | Semantic Scholar |
|---|---|
| Author | Malinowski, Jacek |
| Copyright Year | 2005 |
| Abstract | In this paper we investigate the relation between the axiomatization of a given logical consequence operation and axiom systems defining the class of algebras related to that consequence operation. We show examples which prove that, in general there are no natural relation between both ways of axiomatization. |
| Starting Page | 103 |
| Ending Page | 117 |
| Page Count | 15 |
| File Format | PDF HTM / HTML |
| DOI | 10.12775/LLP.2005.008 |
| Volume Number | 14 |
| Alternate Webpage(s) | http://apcz.umk.pl/czasopisma/index.php/LLP/article/download/LLP.2005.008/1439 |
| Alternate Webpage(s) | http://www.logika.umk.pl/llp/141/jm.pdf |
| Alternate Webpage(s) | https://doi.org/10.12775/LLP.2005.008 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |