Admissible Rules of Lukasiewicz Logic

Number of the records: 1

1.

SYSNO ASEP	0343478
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
Title	Admissible Rules of Lukasiewicz Logic
Author(s)	Jeřábek, Emil (MU-W)_{RID, SAI, ORCID}
Source Title	Journal of Logic and Computation - ISSN 0955-792X Roč. 20, č. 2 (2010), s. 425-447
Number of pages	23 s.
Language	eng - English
Country	GB - United Kingdom
Keywords	linear temporal logic ; unification ; consecutions
Subject RIV	BA - General Mathematics
R&D Projects	IAA900090703 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
	IAA100190902 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
	1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS)
CEZ	AV0Z10190503 - MU-W (2005-2011)
UT WOS	000276843800003
EID SCOPUS	77950343051
DOI	10.1093/logcom/exp078
Annotation	We investigate admissible rules of Lukasiewicz multi-valued propositional logic. We show that admissibility of multiple-conclusion rules in Lukasiewicz logic, as well as validity of universal sentences in free MV-algebras, is decidable (in PSPACE).
Workplace	Mathematical Institute
Contact	Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
Year of Publishing	2011

Number of the records: 1