FORMALIZATION OF PROPOSITIONAL LINEAR TEMPORAL LOGIC IN THE MIZAR SYSTEM

• Authors: Giero Mateusz
• 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

EN

FORMALIZATION; MIZAR; TEMPORAL LOGIC

Discipline

• LIBRARY_&_INFORMATION_SCIENCE: LIBRARY & INFORMATION SCIENCE

• Publisher: Sciendo
• Journal: Studies in Logic, Grammar and Rhetoric
• Year: 2010
• Issue: 22(35)
• Pages: 7-21
• Document type: ARTICLE

Contributors

author

Giero Mateusz

• Mariusz Giero, Institute of Sociology, University of Bialystok, Poland

Identifiers

CEJSH db identifier

11PLAAAA101621