<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>The aim of this paper is to develop a formal theory of Mizar linguistic concepts following the ideas from [6] and [7]. The theory presented is an abstraction from the existing implementation of the Mizar system and is devoted to the formalization of Mizar expressions. The concepts formalized here are: standarized constructor signature, arity-rich signatures, and the unification of Mizar expressions.</p></abstract>

The aim of this paper is to develop a formal theory of Mizar linguistic concepts following the ideas from [6] and [7]. The theory presented is an abstraction from the existing implementation of the Mizar system and is devoted to the formalization of Mizar expressions. The concepts formalized here are: standarized constructor signature, arity-rich signatures, and the unification of Mizar expressions.

A Model of Mizar Concepts - Unification

The University of Finance and Management, Białystok-Ełk, Poland

Formalized Mathematics

{"article-title":"A Model of Mizar Concepts - Unification"}

The aim of this paper is to develop a formal theory of Mizar linguistic concepts following the ideas from [6] and [7]. The theory presented is an abstraction...

A Model of Mizar Concepts - Unification

Published Online: Jan 05, 2011

Page range: 65 - 75

DOI: https://doi.org/10.2478/v10037-010-0009-7

This content is open access.