A more general general proof theory

Almukdad, 1984, Constructible falsity and inexact predicates, J. Symb. Log., 49, 231, 10.2307/2274105 Brown, 2002, On paraconsistency, 628 Dummett, 1993 Francez, 2011, Proof-theoretic semantic values for logical operators, Rev. Symb. Log., 4, 466, 10.1017/S1755020311000098 Gibbard, 2002, Price and Rumfitt on rejective negation and classical logic, Mind, 111, 297, 10.1093/mind/111.442.297 Goré, 2000, Dual intuitionistic logic revisited, vol. 1847, 252 Kamide, 2016, Completeness of connexive Heyting–Brouwer logic, IfCoLog J. Log. Appl., 3, 441 Cole Kleene, 1952 Kowalski Kürbis, 2016, Some comments on Ian Rumfitt's bilateralism, J. Philos. Log., 45, 623, 10.1007/s10992-016-9395-9 Martin-Löf, 1996, On the meanings of the logical constants and the justifications of the logical laws, Nord. J. Philos. Log., 1, 11 McCall, 2012, A history of connexivity, vol. 11, 415 Postniece, 2010 Prawitz, 1965 Prawitz, 1971, Ideas and results in proof theory, 235 Prawitz, 1974, On the idea of a general proof theory, Synthese, 27, 63, 10.1007/BF00660889 Prawitz, 2007, Pragmatist and verificationist theories of meaning, 455 Prawitz, 2015, Explaining deductive inference, vol. 7, 65, 10.1007/978-3-319-11041-7_3 Priest, 2006 Ranta, 2006 Rauszer, 1980, An Algebraic and Kripke-Style Approach to a Certain Extension of Intuitionistic Logic, vol. 167 Restall, 2005, Multiple conclusions, 189 Ripley, 2011, Negation, denial, and rejection, Philos. Compass, 6, 622, 10.1111/j.1747-9991.2011.00422.x Rumfitt, 2000, Yes” and “No”, Mind, 109, 781, 10.1093/mind/109.436.781 Schroeder-Heister, 2010, Schluß und Umkehrschluß. Ein Beitrag zur Definitionstheorie, vol. 3, 1065 Peter Schroeder-Heister, Proof-theoretic semantics, in: E. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Summer 2014 edition, http://plato.stanford.edu/archives/sum2014/entries/proof-theoretic-semantics/. Shramko, 2011 Smith, 2009, Frege's judgement stroke and the conception of logic as the study of inference not consequence, Philos. Compass, 4, 639, 10.1111/j.1747-9991.2009.00219.x Sundholm, 2012, “Inference versus consequence” revisited: inference, consequence, conditional, implication, Synthese, 187, 943, 10.1007/s11229-011-9901-0 Tranchini, 2012, Natural deduction for dual-intuitionistic logic, Stud. Log., 100, 631, 10.1007/s11225-012-9417-8 Wansing, 2008, Constructive negation, implication, and co-implication, J. Non-Class. Log., 18, 341, 10.3166/jancl.18.341-364 Wansing, 2010, Proofs, disproofs, and their duals, vol. 8, 483 Wansing, 2016, Falsification, natural deduction, and bi-intuitionistic logic, J. Log. Comput., 26, 425, 10.1093/logcom/ext035 Heinrich Wansing, Connexive logic, in: E. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Fall 2014 edition, http://plato.stanford.edu/archives/fall2014/entries/logic-connexive/, (First published January 6, 2006). Wansing, 2016, On split negation, strong negation, information, falsification, and verification, 161 Wansing, 2016, Natural deduction for bi-connexive logic and a two-sorted typed λ-calculus, IfCoLog J. Log. Appl., 3, 413 Williamson, 2000