CCL

Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM037367
Első szerző:Kádek Tamás (programtervező matematikus)
Cím:Press-ready deduction trees in classical logic using point-plus-expressions / Kádek Tamás
Dátum:2012
Megjegyzések:The LATEX system is widely used in scientific journals with syntactically rich mathematical expressions. It is suitable not only for high-quality press-ready production, but also it can be applied for the development of dynamic presentations and learning materials containing many nice formulas. The need to construct numerous derivations using Gentzen style sequent calculus, gives the idea to automatize the process (which was implemented in the GenTreeCad application). The point-plus-expressions show, how to use an existing derivation to produce different solutions by di erent theorem proving methods.In this artice, we try to demonstrate the capability of point-plus-expressions meanwhile we are using them for automatic theorem proving. We want to show { using propositional logic { how we could take the advantages of the connection between the resolution and it's dual one, then the connection between sequent calculus and the tableau method as well.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
mathematical logic
mechanical theorem proving
Megjelenés:Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica 37 (2012), p. 229-238. -
Pályázati támogatás:TÁMOP-4.2.2/B-10/1-2010-0024
TÁMOP
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1