×

zbMATH — the first resource for mathematics

What is a logical system? (English) Zbl 0811.00005
Studies in Logic and Computation. 4. Oxford: Oxford University Press. x, 454 p. (1994).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Hacking, Ian, What is logic?, 1-33 [Zbl 0816.03002]
Kowalski, Robert, Logic without model theory, 35-71 [Zbl 0820.03012]
Barwise, Jon; Hammer, Eric, Diagrams and the concept of logical system, 73-106 [Zbl 0822.03001]
van Benthem, Johan, General dynamic logic, 107-139 [Zbl 0861.03021]
Lambek, Joachim, What is a deductive system?, 141-159 [Zbl 0821.03003]
Tennant, Neil, The transmission of truth and the transitivity of deduction, 161-177 [Zbl 0820.03005]
Gabbay, D. M., What is a logical system?, 179-216 [Zbl 0824.03004]
Avron, Arnon, What is a logical system?, 217-238 [Zbl 0824.03003]
Crocco, G.; Fariñas del Cerro, L., Structure, consequence relation and logic, 239-259 [Zbl 0823.03013]
Aczel, Peter, Schematic consequence, 261-272 [Zbl 0860.03011]
Došen, Kosta, Logical constants as punctuation marks, 273-296 [Zbl 0827.03002]
Feferman, Solomon, Finitary inductively presented logics, 297-328 [Zbl 0823.03032]
Matthews, Seán, A theory and its metatheory in \(FS_ 0\), 329-354 [Zbl 0823.03033]
Martí-Oliet, Narciso; Meseguer, José, General logics and logical frameworks, 355-391 [Zbl 0817.03005]
Németi, István; Andréka, Hajnal, General algebraic logic: A perspective on “What is logic”, 393-443 [Zbl 0823.03040]
MSC:
00B15 Collections of articles of miscellaneous specific interest
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
Keywords:
Logical system
PDF BibTeX XML Cite