PL EN


2010 | 22(35) | 7-21
Article title

FORMALIZATION OF PROPOSITIONAL LINEAR TEMPORAL LOGIC IN THE MIZAR SYSTEM

Authors
Selected contents from this journal
Title variants
Languages of publication
EN
Abstracts
EN
The paper describes formalization of some issues of propositional linear temporal logic (PLTL). We discuss encountered problems and applied solutions. The formalization was carried out in the Mizar system. In comparison with other systems, Mizar is famous for its large repository of computer checked mathematical knowledge and also for its user-friendly knowledge representation and proof language.
Keywords
Year
Issue
Pages
7-21
Physical description
Document type
ARTICLE
Contributors
author
  • Mariusz Giero, Institute of Sociology, University of Bialystok, Poland
References
Document Type
Publication order reference
Identifiers
CEJSH db identifier
11PLAAAA101621
YADDA identifier
bwmeta1.element.bfc0d1b1-1a14-3aea-ac3f-8c9f8f555613
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.