Definitional equivalence and algebraizability of generalized logical systems
نویسندگان
چکیده
منابع مشابه
Logical equivalence between generalized urn models and finite automata
To every generalized urn model there exists a finite (Mealy) automaton with identical propositional calculus. The converse is true as well.
متن کاملInversion by Definitional Reflection and the Admissibility of Logical Rules
The inversion principle for logical rules expresses a relationship between introduction and elimination rules for logical constants. Hallnäs & Schroeder-Heister (1990, 1991) proposed the principle of definitional reflection, which embodies basic ideas of inversion in the more general context of clausal definitions. For the context of admissibility statements, this has been further elaborated by...
متن کاملGeneralized Definitional Reflection and the Inversion Principle
The term inversion principle goes back to Lorenzen who coined it in the early 1950s. It was later used by Prawitz and others to describe the symmetric relationship between introduction and elimination inferences in natural deduction, sometimes also called harmony. In dealing with the invertibility of rules of an arbitrary atomic production system, Lorenzen’s inversion principle has a much wider...
متن کاملOn the topological equivalence of some generalized metric spaces
The aim of this paper is to establish the equivalence between the concepts of an $S$-metric space and a cone $S$-metric space using some topological approaches. We introduce a new notion of a $TVS$-cone $S$-metric space using some facts about topological vector spaces. We see that the known results on cone $S$-metric spaces (or $N$-cone metric spaces) can be directly obtained from...
متن کاملParadoxes of Logical Equivalence and Identity
Assuming the unrestricted application of classical logic, the paradoxes of truth, sets and properties make trouble for näıve intersubstitutivity principles, such as the principle that allows one to substitute, in non-intentional contexts, the claim that φ for the claim that ‘φ’ is true, or the claim that x is F for the claim that x has the property of being F . One way to respond to these parad...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1999
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(98)00058-x