Name Card

Full name Familienname, Vorname
Terui, Kazushige
 

Own Publications Eigene Publikationen


Results 1-9 of 9 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige Algebraic proof theory: Hypersequents and hypercompletionsArtikel Article 2017
2Baldi Paolo - 2016 - Densification of FL chains via residuated frames.pdf.jpgBaldi, Paolo ; Terui, Kazushige Densification of FL chains via residuated framesArticle Artikel 2016
3Baldi, Paolo ; Ciabattoni, Agata ; Terui, Kazushige Standard completeness: proof-theoretical and algebraic approachesPräsentation Presentation2014
4Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige Algebraic proof theory for substructural logics: Cut elimination and completionsArtikel Article2012
5Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige MacNeille Comletions of FL-algebrasArtikel Article2011
6Ciabattoni, Agata ; Straßburger, Lutz ; Terui, Kazushige Expanding the realm of systematic proof theoryKonferenzbeitrag Inproceedings 2009
7Ciabattoni, Agata ; Galatos, Nikolaos ; Terui, Kazushige From Axioms to Analytic Rules in Nonclassical LogicsKonferenzbeitrag Inproceedings 2008
8Ciabattoni, Agata ; Terui, Kazushige Modular cut-elimination: finding proofs or counterexamplesKonferenzbeitrag Inproceedings2006
9Ciabattoni, Agata ; Terui, Kazushige Towards a semantic characterization of cut-eliminationArtikel Article 2006

Contributing Publications Mitbeteiligte Publikationen


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fermüller, Christian ; Roschger, Christoph Extending Giles's Game for Lukasiewicz Logic to Fuzzy QuantificationKonferenzbeitrag Inproceedings2012