Graduate studies at Western
Logica Universalis 3 (1):95-124 (2009)
|Abstract||We study logic translations from an abstract perspective, without any commitment to the structure of sentences and the nature of logical entailment, which also means that we cover both proof- theoretic and model-theoretic entailment. We show how logic translations induce notions of logical expressiveness, consistency strength and sublogic, leading to an explanation of paradoxes that have been described in the literature. Connectives and quantifiers, although not present in the definition of logic and logic translation, can be recovered by their abstract properties and are preserved and reflected by translations under suitable conditions.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Steffen Lewitzka (2007). Abstract Logics, Logic Maps, and Logic Homomorphisms. Logica Universalis 1 (2):243-276.
A. Carnielli Walter, E. Coniglio Marcelo & M. L. D.’Ottaviano Itala (2009). New Dimensions on Translations Between Logics. Logica Universalis 3 (1).
Rohan French & Lloyd Humberstone (2009). Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic. Australasian Journal of Logic 7:56-61.
Lloyd Humberstone (2000). Contra-Classical Logics. Australasian Journal of Philosophy 78 (4):438 – 474.
Simone Martini & Andrea Masini (1994). A Modal View of Linear Logic. Journal of Symbolic Logic 59 (3):888-899.
Johan Van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti (1998). Modal Deduction in Second-Order Logic and Set Theory: II. Studia Logica 60 (3):387 - 420.
Johan van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti (1998). Modal Deduction in Second-Order Logic and Set Theory - II. Studia Logica 60 (3):387-420.
Matthew W. McKeon (2010). The Concept of Logical Consequence: An Introduction to Philosophical Logic. Peter Lang Pub..
Morten H. Sørensen & Paweł Urzyczyn (2010). A Syntactic Embedding of Predicate Logic Into Second-Order Propositional Logic. Notre Dame Journal of Formal Logic 51 (4):457-473.
Walter A. Carnielli, Marcelo E. Coniglio & Itala M. L. D.’Ottaviano (2009). New Dimensions on Translations Between Logics. Logica Universalis 3 (1):1-18.
Added to index2009-04-27
Total downloads9 ( #122,521 of 739,353 )
Recent downloads (6 months)1 ( #61,680 of 739,353 )
How can I increase my downloads?