@article(avr:ben:kon:07,
 author       = "A. Avron and J. Ben-Naim and B. Konikowska",
 year         = "2007",
 title        = "Cut-free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics",
 journal      = "Logica Universalis",
 volume       = "1",
 number       = "1",
 pages        = "41--70",
 doi          = "10.1007/978-3-642-32621-9\_24",
)
@misc(baa:fer:zac:93,
 author       = "M. Baaz and C.G. Ferm\"uller and R. Zach",
 year         = "1993",
 title        = "Systematic {C}onstruction of {N}atural {D}eduction {S}ystems for {M}any-valued {L}ogics: {E}xtended {R}eport",
 note         = "Technical Report TUW-E185.2-BFZ.1-93",
)
@article(boch:38,
 author       = "D.A. Bochvar",
 year         = "1938",
 title        = "Ob odnom trechzna \v {c}nom is\v {c}islenii i ego primenenii k analizu paradoksov klassiceskogo funkcional'nogo is\v {c}islenija",
 journal      = "Matematicheskii Sbornik",
 volume       = "4(46)",
 number       = "2",
 pages        = "287--308",
 note         = "Translated to English by M. Bergmann as \textquotedblleft On a Three-valued Logical Calculus and Its Application to the Analysis of the Paradoxes of the Classical Extended Functional Calculus\textquotedblright . \emph {History and Philosophy of Logic} 2:87--112, 1981",
)
@inproceedings(con:cor:11,
 author       = "M.E. Coniglio and M.I. Corbal\'an",
 year         = "2011",
 title        = "Recovering sense in the logics of nonsense ({R}ecuperando o sentido nas l\'{o}gicas do sem-sentido, in {P}ortuguese)",
 booktitle    = "16th Brazilian Logic Conference (XVI EBL): Book of Abstracts",
 series       = "Petr\'opolis, Brazil",
 pages        = "38--38",
)
@mastersthesis(cor:12,
 author       = "M.I. Corbal\'an",
 year         = "2012",
 title        = "Local {R}ecovering {C}onnectives ({C}onectivos de {R}estaura\c c\~ao {L}ocal, in {P}ortuguese)",
 type         = "Masters thesis",
 school       = "IFCH-State University of Campinas",
 address      = "Brazil",
)
@book(hall:49,
 author       = "S. Halld\'en",
 year         = "1949",
 title        = "The Logic of Nonsense",
 publisher    = "Uppsala Univ.",
 address      = "Uppsala",
)
@inproceedings(mal:07,
 author       = "G. Malinowski",
 year         = "2007",
 title        = "Many-valued logic and its philosophy",
 editor       = "D.M. Gabbay and J. Woods",
 booktitle    = "Handbook of the History of Logic, vol. 8: The Many Valued and Nonmonotonic Turn in Logic",
 publisher    = "North Holland",
 address      = "Amsterdam",
 pages        = "13--94",
 doi          = "10.1016/S1874-5857(07)80004-5",
)
@inproceedings(vol:mar:cal:12,
 author       = "M. Volpe and J. Marcos and C. Caleiro",
 year         = "2012",
 title        = "Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics",
 booktitle    = "Proceedings of 19th WoLLIC",
 series       = "LNCS 7456, Springer",
 pages        = "321--335",
 doi          = "10.1007/s11787-006-0003-6",
)
@book(will:94,
 author       = "T. Williamson",
 year         = "1994",
 title        = "Vagueness",
 publisher    = "Routledge",
 address      = "London \& New York",
)