Graduate studies at Western
Logica Universalis 1 (1):201-208 (2007)
|Abstract||. 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)|
|Through your library||Configure|
Similar books and articles
Dov M. Gabbay (1995). A General Theory of Structured Consequence Relations. Theoria 10 (2):49-78.
Herman Dishkant (1986). About Finite Predicate Logic. Studia Logica 45 (4):405 - 414.
René David & Karim Nour (1995). Storage Operators and Directed Lambda-Calculus. Journal of Symbolic Logic 60 (4):1054-1086.
Jarosław Achinger & Andrzej W. Jankowski (1986). On Decidable Consequence Operators. Studia Logica 45 (4):415 - 424.
Wiesław Dziobiak (1981). The Lattice of Strengthenings of a Strongly Finite Consequence Operation. Studia Logica 40 (2):177 - 193.
George Goguadze, Carla Piazza & Yde Venema (2003). Simulating Polyadic Modal Logics by Monadic Ones. Journal of Symbolic Logic 68 (2):419-462.
Fabio Bellissima & Saverio Cittadini (1999). Finite Trees in Tense Logic. Studia Logica 62 (2):121-140.
Beata Konikowska (1990). A Two-Valued Logic for Reasoning About Different Types of Consequence in Kleene's Three-Valued Logic. Studia Logica 49 (4):541 - 555.
Zdzisław Dywan (1980). Finite Structural Axiomatization of Every Finite-Valued Propositional Calculus. Studia Logica 39 (1):1 - 4.
Brunetto Piochi (1983). Logical Matrices and Non-Structural Consequence Operators. Studia Logica 42 (1):33 - 42.
Added to index2009-01-28
Total downloads3 ( #213,563 of 739,315 )
Recent downloads (6 months)0
How can I increase my downloads?