Hidden modalities in algebras with negation and implication
dc.contributor.author | Järvinen, Jouni | |
dc.contributor.author | Kondo, Michiro | |
dc.contributor.author | Mattila, Jorma K. | |
dc.contributor.author | Radeleczki, Sándor | |
dc.coverage.issue | 1 | cs |
dc.coverage.volume | 2 | cs |
dc.date.accessioned | 2013-11-26T10:19:17Z | |
dc.date.available | 2013-11-26T10:19:17Z | |
dc.date.issued | 2013 | cs |
dc.description.abstract | Lukasiewicz 3-valued logic may be seen as a logic with hidden truthfunctional modalities de ned by A := :A ! A and A := :(A ! :A). It is known that axioms (K), (T), (B), (D), (S4), (S5) are provable for these modalities, and rule (RN) is admissible. We show that, if analogously de ned modalities are adopted in Lukasiewicz 4-valued logic, then (K), (T), (D), (B) are provable, and (RN) is admissible. In addition, we show that in the canonical n-valued Lukasiewicz- Moisil algebras Ln, identities corresponding to (K), (T), and (D) hold for all n 3 and 1 = 1. We de ne analogous operations in residuated lattices and show that residuated lattices determine modal systems in which axioms (K) and (D) are provable and 1 = 1 holds. Involutive residuated lattices satisfy also the identity corresponding to (T). We also show that involutive residuated lattices do not satisfy identities corresponding to (S4) nor (S5). Finally, we show that in Heyting algebras, and thus in intuitionistic logic, and are equal, and they correspond to the double negation | en |
dc.format | text | cs |
dc.format.extent | 5-20 | cs |
dc.format.mimetype | application/pdf | en |
dc.identifier.citation | Mathematics for Applications. 2013, 2, č. 1, s. 5-20. ISSN 1805-3629. | cs |
dc.identifier.doi | 10.13164/ma.2013.02 | en |
dc.identifier.issn | 1805-3629 | |
dc.identifier.uri | http://hdl.handle.net/11012/23993 | |
dc.language.iso | en | cs |
dc.publisher | Vysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav matematiky | cs |
dc.relation.ispartof | Mathematics for Applications | en |
dc.relation.uri | http://ma.fme.vutbr.cz/archiv/2_1/jarvinen_kondo_mattila_radeleczki_final.pdf | cs |
dc.rights | © Vysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav matematiky | cs |
dc.rights.access | openAccess | en |
dc.title | Hidden modalities in algebras with negation and implication | cs |
dc.type.driver | article | en |
dc.type.status | Peer-reviewed | en |
dc.type.version | publishedVersion | en |
eprints.affiliatedInstitution.department | Ústav matematiky | cs |
eprints.affiliatedInstitution.faculty | Fakulta strojního inženýrství | cs |