The Brooks-Jewett theorem for -triangular functions
The category of opetopes and the category of opetopic sets.
The catgorical theory of self-similarity.
The class of 2-dimensional neat reducts is not elementary
SC, CA, QA and QEA stand for the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasipolyadic algebras and Halmos' quasipolyadic algebras with equality, respectively. Generalizing a result of Andréka and Németi on cylindric algebras, we show that for K ∈ SC,QA,CA,QEA and any β > 2 the class of 2-dimensional neat reducts of β-dimensional algebras in K is not closed under forming elementary subalgebras, hence is not elementary. Whether this result extends to higher...
The Dialectica interpretation of first-order classical affine logic.
The double powerlocale and exponentiation: A case study in geometric logic.
The dual locale of a seminormed space
The entropy on -quantum spaces
The existence of states on every Archimedean atomic lattice effect algebra with at most five blocks
Effect algebras are very natural logical structures as carriers of probabilities and states. They were introduced for modeling of sets of propositions, properties, questions, or events with fuzziness, uncertainty or unsharpness. Nevertheless, there are effect algebras without any state, and questions about the existence (for non-modular) are still unanswered. We show that every Archimedean atomic lattice effect algebra with at most five blocks (maximal MV-subalgebras) has at least one state, which...
The exocenter of a double Heyting algebra
The Frobenius relations meet linear distributivity.
The general reproductive solution of Boolean equation.
The generalized Schröder theory.
The lattice of linear classes in prime-valued logics
The lattice structure of quantum logics
The logic of categories of partial functions and its applications [Book]
The maximality of the typed lambda calculus and of cartesian closed categories
The measure extension theorem for subadditive measures in -continuous logics
The measure extension theorem for subadditive probability measures in orthomodular -continuous lattices
The -propositional calculus
T. Almada and J. Vaz de Carvalho (2001) stated the problem to investigate if these Łukasiewicz algebras are algebras of some logic system. In this article an affirmative answer is given and the -propositional calculus, denoted by , is introduced in terms of the binary connectives (implication), (standard implication), (conjunction), (disjunction) and the unary ones (negation) and , (generalized Moisil operators). It is proved that belongs to the class of standard systems of implicative...