96 research outputs found
The Infinite-Valued Łukasiewicz Logic and Probability
The paper concerns the algebraic structure of the set of cumulative distribution functions as well as the relationship between the resulting algebra and the infinite-valued Łukasiewicz algebra. The paper also discusses interrelations holding between the logical systems determined by the above algebras.Zadanie „ Wdrożenie platformy Open Journal System dla czasopisma „ Bulletin of the Section of Logic” finansowane w ramach umowy 948/P-DUN/2016 ze środków Ministra Nauki i Szkolnictwa Wyższego przeznaczonych na działalność upowszechniającą naukę
Logics and operators
Two connectives are of special interest in metalogical investigations — the connective of implication which is important due to its connections to the notion of inference, and the connective of equivalence. The latter connective expresses, in the material sense, the fact that two sentences have the same logical value while in the strict sense it expresses the fact that two sentences are interderivable on the basis of a given logic. The process of identification of equivalent sentences relative to theories of a logic C defines a class of abstract algebras. The members of the class are called Lindenbaum-Tarski algebras of the logic C. One may abstract from the origin of these algebras and examine them by means of purely algebraic methods
Uniform interpolation and coherence
A variety V is said to be coherent if any finitely generated subalgebra of a
finitely presented member of V is finitely presented. It is shown here that V
is coherent if and only if it satisfies a restricted form of uniform deductive
interpolation: that is, any compact congruence on a finitely generated free
algebra of V restricted to a free algebra over a subset of the generators is
again compact. A general criterion is obtained for establishing failures of
coherence, and hence also of uniform deductive interpolation. This criterion is
then used in conjunction with properties of canonical extensions to prove that
coherence and uniform deductive interpolation fail for certain varieties of
Boolean algebras with operators (in particular, algebras of modal logic K and
its standard non-transitive extensions), double-Heyting algebras, residuated
lattices, and lattices
An order-theoretic analysis of interpretations among propositional deductive systems
In this paper we study interpretations and equivalences of propositional
deductive systems by using a quantale-theoretic approach introduced by Galatos
and Tsinakis. Our aim is to provide a general order-theoretic framework which
is able to describe and characterize both strong and weak forms of
interpretations among propositional deductive systems also in the cases where
the systems have different underlying languages
Closure properties for the class of behavioral models
Hidden k-logics can be considered as the underlying logics of program specification. They constitute natural generalizations of k-deductive systems and encompass deductive systems as well as hidden equational logics and inequational logics. In our abstract algebraic approach, the data structures are sorted algebras endowed with a designated subset of their visible parts, called filter, which represents a set of truth values. We present a hierarchy of classes of hidden k-logics. The hidden k-logics in each class are characterized by three different kinds of conditions, namely, properties of their Leibniz operators, closure properties of the class of their behavioral models, and properties of their equivalence systems. Using equivalence systems, we obtain a new and more complete analysis of the axiomatization of the behavioral models. This is achieved by means of the Leibniz operator and its combinatorial properties. © 2007 Elsevier Ltd. All rights reserved.FCT via UIM
Boolean like algebras
Using Vaggione’s concept of central element in a double pointed algebra, we introduce the notion of Boolean like variety as a generalization of Boolean algebras to an arbitrary similarity type. Appropriately relaxing the requirement that every element be central in any member of the variety, we obtain the more general class of semi-Boolean like varieties, which still retain many of the pleasing properties of Boolean algebras. We prove
that a double pointed variety is discriminator i↵ it is semi-Boolean like, idempotent, and 0-regular. This theorem yields a new Maltsev-style characterization of double pointed discriminator varieties. Moreover, we show that every idempotent semi-Boolean-like variety is term equivalent to a variety of noncommutative Boolean algebras with additional regular operations
Fregean Logics With The Multiterm Deduction Theorem And Their Algebraization
. A deductive system S (in the sense of Tarski) is Fregean if the relation of interderivability, relative to any given theory T , i.e., the binary relation between formulas f hff; fii : T; ff `S fi and T; fi `S ff g; is a congruence relation on the formula algebra. The multiterm deduction-detachment theorem is a natural generalization of the deductive theorem of the classical and intuitionistic propositional calculi (IPC) in which a finite system of possibly compound formulas collectively plays the role of the implication connective of IPC. We investigate the deductive structure of Fregean deductive systems with the multiterm deduction-detachment theorem within the framework of abstract algebraic logic. It is shown that each deductive system of this kind has a deductive structure very close to that of the implicational fragment of IPC. Moreover, it is algebraizable and the algebraic structure of its equivalent quasivariety is very close to that of the variety of Hilbert algebras. The..
- …