BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Poland
1 × Portugal
1 × USA
Collaborated with:
K.Terui P.Rusnok L.Straßburger N.Galatos
Talks about:
analyt (3) logic (3) classic (2) calculi (2) theori (2) applic (2) systemat (1) nonclass (1) involut (1) generat (1)

Person: Agata Ciabattoni

DBLP DBLP: Ciabattoni:Agata

Contributed to:

KR 20102010
CSL 20092009
LICS 20082008
CSL 20042004
CSL 20162016

Wrote 5 papers:

KR-2010-CiabattoniR #fuzzy #monad #on the
On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System (AC, PR).
CSL-2009-CiabattoniST #proving
Expanding the Realm of Systematic Proof Theory (AC, LS, KT), pp. 163–178.
LICS-2008-CiabattoniGT #axiom #logic
From Axioms to Analytic Rules in Nonclassical Logics (AC, NG, KT), pp. 229–240.
CSL-2004-Ciabattoni #automation #calculus #generative #logic
Automated Generation of Analytic Calculi for Logics with Linearity (AC), pp. 503–517.
CSL-2016-Ciabattoni #calculus #logic #theory and practice
Analytic Calculi for Non-Classical Logics: Theory and Applications (AC), p. 1.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.