A complete axiom system for propositional projection temporal logic with cylinder computation model

Autor:	Cong Tian, Nan Zhang, Zhenhua Duan
Rok vydání:	2016
Předmět:	General set theory General Computer Science Zermelo–Fraenkel set theory Constructive set theory ComputerApplications_COMPUTERSINOTHERSYSTEMS 0102 computer and information sciences 02 engineering and technology Urelement Scott's trick Axiom schema 01 natural sciences Theoretical Computer Science Axiom of extensionality Algebra Mathematics::Logic TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES 010201 computation theory & mathematics TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS 0202 electrical engineering electronic engineering information engineering Condensed Matter::Strongly Correlated Electrons 020201 artificial intelligence & image processing Axiom of choice Algorithm Mathematics
Zdroj:	Theoretical Computer Science. 609:639-657
ISSN:	0304-3975
DOI:	10.1016/j.tcs.2015.05.007
Popis:	To specify and verify multi-core parallel programs in a uniform framework, this paper proposes an axiom system for CCM-PPTL which extends that of PPTL by including transformation rules for sequence expressions and axioms as well as inference rules on the CCM construct. Further, the soundness and completeness of the extended axiom system are proved.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::039692249b35592852d647dedec310ab https://doi.org/10.1016/j.tcs.2015.05.007 Zobrazit plný text záznamu Full Text from ScienceDirect