1. (100%) On Urquhart's C Logic - Agata Ciabattoni
In this paper we investigate the basic many-valued logics introduced by Urquhart in [15] and [16], h ...
(ps) - 31-mar-2009

2. (100%) Bounded Contraction in Systems with Linearity - Agata Ciabattoni
. The aim of this work is to perform a proof-theoretical investigation of some propositional logics ...
(ps) - 31-mar-2009

3. (100%) Bounded Contraction in Systems with Linearity - Agata Ciabattoni
. The aim of this work is to perform a proof-theoretical investigation of some propositional logics ...
(application/postscript) - 24-jul-2009

4. (100%) A Proof-theoretical Investigation of Global - Agata Ciabattoni
the date of receipt and acceptance should be inserted later – c ○ Springer-Verlag
(application/pdf) - 27-ago-2009

5. (100%) Automated Generation of Analytic Calculi for Logics with Linearity - Agata Ciabattoni
Abstract. We show how to automatically generate analytic hypersequent calculi for a large class of l ...
(application/pdf) - 27-ago-2009

6. (80%) A Sufficient Condition for Completability of Partial Combinatory Algebras - Asperti, Andrea; Ciabattoni, Agata
A Partial Combinatory Algebra is completable if it can be extended to a total one. In [1] it is aske ...
- 21-nov-2008

7. (80%) Effective Applicative Structures - Andrea Asperti,Agata Ciabattoni
S. All local authors can be reached viae-mail at theaddress last-name@cs.unibo.it. Written requests ...
(ps) - 31-mar-2009

8. (80%) Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models - Agata Ciabattoni,Mauro Ferrari
In this paper we dene cut-free hypersequent calculi for some intermediate logics semantically charac ...
(ps) - 31-mar-2009

9. (80%) Hypertableau and Path-Hypertableau Calculi for some Families of Intermediate Logics - Agata Ciabattoni,Mauro Ferrari
In this paper we investigate the tableau systems corresponding to hypersequent calculi. We call thes ...
(ps) - 31-mar-2009

10. (80%) On the Undecidability of Some Sub-classical First-order Logics - Matthias Baaz,Agata Ciabattoni
A general criterion for the undecidabily of sub-classical rstorder logics and important fragments th ...
(ps) - 31-mar-2009

Página de resultados:
1  2  3  4  Siguiente