Studia Logica 78 (1-2):249 - 260 (2004)
Quasi-equational logic concerns with a completeness theorem, i. e. a list of general syntactical rules such that, being given a set of graded quasi-equations Q, the closure Cl Q = Qeq Fun Q can be derived from by the given rules. Those rules do exist, because our consideration could be embedded into the logic of first order language. But, we look for special (quasi-equational) rules. Suitable rules were already established for the (non-functorial) case of partial algebras in Definition 3.1.2 of , p. 108, and , p. 102. (For the case of total algebras, see .) So, one has to translate these rules to the (functorial) language of partial theories .Surprisingly enough, partial theories can be replaced up to isomorphisms by partial Dale monoids (cf. Section 3), which, in the total case are ordinary monoids.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|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
Applications of Priestley Duality in Transferring Optimal Dualities.Brian A. Davey & Miroslav Haviar - 2004 - Studia Logica 78 (1-2):213 - 236.
On Certain Quasivarieties of Quasi-MV Algebras.A. Ledda, T. Kowalski & F. Paoli - 2011 - Studia Logica 98 (1-2):149-174.
A Non-Finitely Based Quasi-Variety of de Morgan Algebras.Hernando Gaitán & Milton H. Perea - 2004 - Studia Logica 78 (1-2):237 - 248.
Elementary Embedding Between Countable Boolean Algebras.Robert Bonnet & Matatyahu Rubin - 1991 - Journal of Symbolic Logic 56 (4):1212-1229.
Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras.Peter Burmeister - 2004 - Studia Logica 78 (1-2):129 - 153.
On Self-Admissible Quasi-Characterizing Inference Rules.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Studia Logica 65 (3):417-428.
Added to index2009-01-28
Total downloads9 ( #454,168 of 2,152,226 )
Recent downloads (6 months)3 ( #226,015 of 2,152,226 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.