References
Avron, A., ‘The Semantics and Proof Theory of Linear Logic’,Theoretical Computer Science 57 (1988), 161–184.
Avron, A., ‘Gentzenizing Schroeder-Heister's Natural Extension of Natural Deduction’,Notre Dame Journal of Formal Logic 31 (1990), 127–135.
Dosen, K., ‘Sequent Systems and Groupoid Models, I’,Studia Logica 47 (1988), 353–389.
Dunn, J. M., ‘Relevance Logic and Entailment’, in F. Guenthner and D. Gabbay (eds.),Handbook of Philosophical Logic, Vol. III, Reidel, Dordrecht, 1986, 117–224.
von Kutschera, F., ‘Die Vollständigkeit des Operatorensystems {⌝, ∧, ∨, ⊃} für die intuitionistische Aussagenlogik im Rahmen der Gentzensemantik’,Archiv für Mathematische Logik und Grundlagenforschung 11 (1968), 3–16.
Lambek, J., ‘The Mathematics of Sentence Structure’,American Mathematical Monthly 65 (1958), 154–170.
Lorenz, K., ‘Dialogspiele als semantische Grundlage von Logikkalkülen’,Archiv für mathematische Logik und Grundlagenforschung 11 (1968), 32–55, 73–100.
McCullough, D., ‘Logical Connectives for Intuitionistic Propositional Logic’,Journal of Symbolic Logic 36 (1971), 15–20.
Ono, H. and Komori, Y., ‘Logics without the Contraction Rule’,Journal of Symbolic Logic 50 (1985), 169–201.
Prawitz, D., ‘Proofs and the Meaning and Completeness of the Logical Constants’, in J. Hintikkaet al. (eds.),Essays on Mathematical and Philosphical Logic, Reidel, Dordrecht, 1979, 25–40.
Schroeder-Heister, P., ‘A Natural Extension of Natural Deduction’,Journal of Symbolic Logic 49 (1984), 1284–1300.
Wansing, H.,The Logic of Information Structures, PhD thesis, Institut für Philosophie, Freie Universität Berlin, 1992.
Zucker, J. and Tragesser, R., ‘The Adequacy Problem for Inferential Logic’,Journal of Philosophical Logic 7 (1978), 501–516.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wansing, H. Functional completeness for subsystems of intuitionistic propositional logic. J Philos Logic 22, 303–321 (1993). https://doi.org/10.1007/BF01049305
Issue Date:
DOI: https://doi.org/10.1007/BF01049305