Studia Logica 78 (1-2):249 - 260 (2004)
|Abstract||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||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Brian A. Davey & Miroslav Haviar (2004). Applications of Priestley Duality in Transferring Optimal Dualities. Studia Logica 78 (1-2):213 - 236.
Sara Negri (2002). Varieties of Linear Calculi. Journal of Philosophical Logic 31 (6):569-590.
Otávio Bueno (2000). Quasi-Truth in Quasi-Set Theory. Synthese 125 (1-2):33-53.
Antonio Ledda, Martinvaldo Konig, Francesco Paoli & Roberto Giuntini (2006). MV-Algebras and Quantum Computation. Studia Logica 82 (2):245 - 270.
A. Ledda, T. Kowalski & F. Paoli (2011). On Certain Quasivarieties of Quasi-MV Algebras. Studia Logica 98 (1-2):149-174.
Hernando Gaitán & Milton H. Perea (2004). A Non-Finitely Based Quasi-Variety of de Morgan Algebras. Studia Logica 78 (1-2):237 - 248.
Robert Bonnet & Matatyahu Rubin (1991). Elementary Embedding Between Countable Boolean Algebras. Journal of Symbolic Logic 56 (4):1212-1229.
Roberto Giuntini, Antonio Ledda & Francesco Paoli (2007). Expanding Quasi-MV Algebras by a Quantum Operator. Studia Logica 87 (1):99 - 128.
Peter Burmeister (2004). Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras. Studia Logica 78 (1-2):129 - 153.
V. V. Rybakov, M. Terziler & C. Gencer (2000). On Self-Admissible Quasi-Characterizing Inference Rules. Studia Logica 65 (3):417-428.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?