Finitary inductively presented logics
| Abstract | A notion of finitary inductively presented (f.i.p.) logic is proposed here, which includes all syntactically described logics (formal systems)met in practice. A f.i.p. theory FS0 is set up which is universal for all f.i.p. logics; though formulated as a theory of functions and classes of expressions, FS0 is a conservative extension of PRA. The aims of this work are (i)conceptual, (ii)pedagogical and (iii)practical. The system FS0 serves under (i)and (ii)as a theoretical framework for the formalization of metamathematics. The general approach may be used under (iii)for the computer implementation of logics. In all cases, the work aims to make the details manageable in a natural and direct way. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesJ. G. Raftery (2011). Contextual Deduction Theorems. Studia Logica 99 (1-3):279-319.
Diderik Batens (2007). A Universal Logic Approach to Adaptive Logics. Logica Universalis 1 (1):221-242.
John Cantwell (2000). Logics of Belief Change Without Linearity. Journal of Symbolic Logic 65 (4):1556-1575.
Steffen Lewitzka (2007). Abstract Logics, Logic Maps, and Logic Homomorphisms. Logica Universalis 1 (2).
Peter Arndt, Rodrigo Alvarenga Freirdee, Odilon Otavio Luciano & Hugo Luiz Mariano (2007). A Global Glance on Categories in Logic. Logica Universalis 1 (1).
Luca Viganò (2000). Labelled Non-Classical Logics. Kluwer Academic Publishers.
Stéphane Demri & Dov Gabbay (2000). On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I. Studia Logica 65 (3):323-353.
Costas Drossos & Daniele Mundici (2000). Many-Valued Points and Equality. Synthese 125 (1-2):77-95.
Itala M. Loffredo D'Ottaviano & Hércules de A. Feitosa (2000). Paraconsistent Logics and Translations. Synthese 125 (1/2):77 - 95.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,844 of 549,699 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
