Some algebraic constructions for 𝐿-systems

2018 ◽  
pp. 149-154
Keyword(s):  
Algebraic Constructions

scholarly journals Filters and congruences in sectionally pseudocomplemented lattices and posets

Soft Computing ◽  
2021 ◽  
Author(s):  
Ivan Chajda ◽  
Helmut Länger
Keyword(s):  
Algebraic Semantics ◽  
Basic Properties ◽  
Algebraic Constructions ◽  
Pseudocomplemented Lattices ◽  
Intuitionistic Logics

AbstractTogether with J. Paseka we introduced so-called sectionally pseudocomplemented lattices and posets and illuminated their role in algebraic constructions. We believe that—similar to relatively pseudocomplemented lattices—these structures can serve as an algebraic semantics of certain intuitionistic logics. The aim of the present paper is to define congruences and filters in these structures, derive mutual relationships between them and describe basic properties of congruences in strongly sectionally pseudocomplemented posets. For the description of filters in both sectionally pseudocomplemented lattices and posets, we use the tools introduced by A. Ursini, i.e., ideal terms and the closedness with respect to them. It seems to be of some interest that a similar machinery can be applied also for strongly sectionally pseudocomplemented posets in spite of the fact that the corresponding ideal terms are not everywhere defined.

scholarly journals BATALIN–VILKOVISKY YANG–MILLS THEORY AS A HOMOTOPY CHERN–SIMONS THEORY VIA STRING FIELD THEORY

2009 ◽  
Vol 24 (07) ◽  
pp. 1309-1331 ◽  
Author(s):  
ANTON M. ZEITLIN
Keyword(s):  
Field Theory ◽  
String Field Theory ◽  
Simons Theory ◽  
Yang Mills ◽  
Algebraic Constructions ◽  
Chern Simons ◽  
Chern Simons Theory

We show explicitly how Batalin–Vilkovisky Yang–Mills action emerges as a homotopy generalization of Chern–Simons theory from the algebraic constructions arising from string field theory.

scholarly journals TurĂĄn numbers for K s,t -free graphs: Topological obstructions and algebraic constructions

2013 ◽  
Vol 197 (1) ◽  
pp. 199-214 ◽  
Author(s):  
Pavle V. M. Blagojević ◽  
Boris Bukh ◽  
Roman Karasev
Keyword(s):  
Topological Obstructions ◽  
Algebraic Constructions

Characterizations of Axiomatic Categories of Models Canonically Isomorphic to (Quasi-)Varieties

1988 ◽  
Vol 31 (3) ◽  
pp. 287-300 ◽  
Author(s):  
Michel Hébert
Keyword(s):  
Forgetful Functor ◽  
Canonical Isomorphism ◽  
First Order ◽  
Order Language ◽  
Algebraic Language ◽  
Algebraic Constructions

AbstractLet be the category of all homomorphisms (i.e. functions preserving satisfaction of atomic formulas) between models of a set of sentences T in a finitary first-order language L. Functors between two such categories are said to be canonical if they commute with the forgetful functors. The following properties are characterized syntactically and also in terms of closure of for some algebraic constructions (involving products, equalizers, factorizations and kernel pairs): There is a canonical isomorphism from to a variety (resp. quasivariety) in a finitary expansion of L which assigns to a model its (unique) expansion. This solves a problem of H. Volger.In the case of a purely algebraic language, the properties are equivalent to:“ is canonically isomorphic to a finitary variety (resp. quasivariety)” and, for the variety case, to “the forgetful functor of is monadic (tripleable)”.

Sign in / Sign up

Export Citation Format

Share Document