Reduction of provability logics to Σ1-provability logics

Autor:	S. Mojtaba Mojtahedi, Mohammad Ardeshir
Rok vydání:	2015
Předmět:	Algebra Reduction (complexity) Logic Monoidal t-norm logic Provability logic T-norm fuzzy logics Mathematics
Zdroj:	Logic Journal of IGPL. 23:842-847
ISSN:	1368-9894 1367-0751
DOI:	10.1093/jigpal/jzv031
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0b8c40a0390bcf3b1d373d0cf6e64780 https://doi.org/10.1093/jigpal/jzv031 Zobrazit plný text záznamu Plný text ve formátu PDF