Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Studies in Logic, Grammar and Rhetoric

Authors help

  1. 1 Naumowicz A.

Years help

  1. 1 2009

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

ENHANCED PROCESSING OF ADJECTIVES IN MIZAR

100%
Naumowicz A.
Studies in Logic, Grammar and Rhetoric
|
2009
|
issue 18(31)
89-101
EN
As adjectival notions are ubiquitous in informal mathematics, their important role must also be reflected in formal attempts to reconstruct the existing body of mathematical texts. In this paper we describe an enhancement of the Mizar proof checker which enables a more complete automation of notions encoded as adjectives. The proposed improvement concerns the Equalizer - Mizar's module responsible for handling equality, where adjective registrations can be re-used by matching them with classes of equal terms in order to add extra information to inference steps.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.