Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Finitary non-compositional proof systems for ASL in first-order

Autor
Mylonakis, N.
Tipus d'activitat
Document cientificotècnic
Data
2003-03-02
Codi
R00-21
Repositori
http://hdl.handle.net/2117/95933 Obrir en finestra nova
Resum
In this paper we present finitary proof systems for the deduction of sentences from algebraic specifications inductively defined by specification expresssions in first-order and higher-order logic. Mainly, we redesign the proof systems for the reachability and behavioural operators. The main application of the result is to give an adequate representation of this kind of proof systems in a type-theoretic logical framework.
Citació
Mylonakis, N. "Finitary non-compositional proof systems for ASL in first-order". 2003.
Paraules clau
Proof Systems, Algebraic Specifications, Reachability, Behavioural Operators, First-order Logic, Higher-order Logic

Participants

Arxius