Logical connectives for constructive modal logic. (English) Zbl 1111.03019
Model-theoretic proofs of functional completeness along the lines of [D. P. McCullough, J. Symb. Log. 36, 15–20 (1971; Zbl 0216.28801)] are given for various constructive modal propositional logics with strong negation.
Reviewer: Giacomo Bonanno (Davis)
MSC:
| 03B45 | Modal logic (including the logic of norms) |
Citations:
Zbl 0216.28801References:
| [2] | van Benthem, J. (1988), ’Games in Logic: A Survey’, in J. Hoepelman (ed.), Representation and Reasoning, Max Niemeyer Verlag, Tübingen, pp. 3–15. |
| [3] | van Benthem, J. (1996), Exploring Logical Dynamics, CSLI Publications, Stanford. · Zbl 0873.03001 |
| [5] | Felscher, W. (1986), ’Dialogues as a Foundation for Intuitionistic Logic’, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 3, Reidel, Dordrecht, pp. 341–372 · Zbl 0875.03019 |
| [6] | Gentzen, G. (1969), ’Investigations into Logical Deduction’, in M.E. Szabo (ed.), The Collected Papers of Gerhard Gentzen, North Holland, Amsterdam, pp. 68–131. English translation of: Untersuchungen über das logische Schließen, Mathematische Zeitschrift 39, (1934), I 176–210, II 405–431. |
| [8] | Hacking, I. (1994), ’What is Logic?’, The Journal of Philosophy 76, 285–319. Reprinted in D. Gabbay (ed.), What is a Logical System?, Oxford University Press, Oxford, pp. 1–33. (Cited after the reprint.) · Zbl 0418.03001 |
| [11] | Hintikka, J. and G. Sandu (1997), ’Game-theoretical Semantics’, in J. van Benthem and A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam and MIT Press, Cambridge (Mass.), pp. 361–410. |
| [12] | von Kutschera, F. (1968), ’Die Vollständigkeit des Operatorensystems { \(\neg, \wedge, \vee, \supset\) } für die intuitionistische Aussagenlogik im Rahmen der Gentzensemantik’, Archiv für Mathematische Logik und Grundlagenforschung 11:3–16. · Zbl 0165.01101 |
| [14] | Lorenz, K. (1978), ’Dialogspiele als semantische Grundlage von Logikkalkülen’, Archiv für mathematische Logik und Grundlagenforschung 11, 32–55, 73–100. Reprinted in P. Lorenzen and K. Lorenz, Dialogische Logik, Wissenschaftliche Buchgesellschaft, Darmstadt, pp. 96–162. |
| [16] | Odintsov, S. and H. Wansing (2004), ’Constructive Predicate Logic and Constructive Modal Logic. Formal Duality versus Semantical Duality’, in V. Hendricks et al. (eds.), First-Order Logic Revisited, Berlin, Logos Verlag, pp. 269–286. · Zbl 1096.03018 |
| [18] | Prawitz, D. (1979), ’Proofs and the Meaning and Completenes of the Logical Constants’, in J. Hintikka et al. (eds.), Essays on Mathematical and Philosophical Logic, Reidel, Dordrecht, pp. 25–40. · Zbl 0406.03069 |
| [19] | Rosenberg, I. (1979), ’Über die funktionale Vollständigkeit in den mehrwertigen ’, Rozpravy Československé Akademie Věd, Řada Matematických a Přirodnich Věd 80, 3–93. |
| [30] | Wansing, H. (2002), ’Sequent Systems for Modal Logics’, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 8, Kluwer Academic Publishers, pp. 61–145. |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
