Logica Universalis 1 (1):201-208 (2007)
. In this paper, the significance of using general logic-systems and finite consequence operators defined on non-organized languages is discussed. Results are established that show how properties of finite consequence operators are independent from language organization and that, in some cases, they depend only upon one simple language characteristic. For example, it is shown that there are infinitely many finite consequence operators defined on any non-organized infinite language L that cannot be generated from any finite logic-system. On the other hand, it is shown that for any nonempty language L, a set map is a finite consequence operator if and only if it is defined by a general logic-system. Simple logic-system examples that determine specific consequence operator properties are given.
|Keywords||Logic-system rules of inference consequence operator|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
A General Theory of Structured Consequence Relations.Dov M. Gabbay - 1995 - Theoria 10 (2):49-78.
Storage Operators and Directed Lambda-Calculus.René David & Karim Nour - 1995 - Journal of Symbolic Logic 60 (4):1054-1086.
On Decidable Consequence Operators.Jarosław Achinger & Andrzej W. Jankowski - 1986 - Studia Logica 45 (4):415 - 424.
The Lattice of Strengthenings of a Strongly Finite Consequence Operation.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):177 - 193.
Simulating Polyadic Modal Logics by Monadic Ones.George Goguadze, Carla Piazza & Yde Venema - 2003 - Journal of Symbolic Logic 68 (2):419-462.
A Two-Valued Logic for Reasoning About Different Types of Consequence in Kleene's Three-Valued Logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.
Finite Structural Axiomatization of Every Finite-Valued Propositional Calculus.Zdzisław Dywan - 1980 - Studia Logica 39 (1):1 - 4.
Logical Matrices and Non-Structural Consequence Operators.Brunetto Piochi - 1983 - Studia Logica 42 (1):33 - 42.
Added to index2009-01-28
Total downloads17 ( #287,014 of 2,178,175 )
Recent downloads (6 months)1 ( #316,504 of 2,178,175 )
How can I increase my downloads?