Results 41 to 50 of about 155 (78)
, 2022 Algebraic quantum field theory, or AQFT for short, is a rigorous analysis of the structure of relativistic quantum mechanics. It is formulated in terms of a net of operator algebras indexed by regions of a Lorentzian manifold.
Freytes, H
core
Categorical abstract algebraic logic
, 1998 In (1) * the theory of algebraizable deductive systems was developed. A deductive system S over a language L is said to be algebraizable if there exists a quasi-variety K, over the same language L, and translations from the sentences of the system into ...
Voutsadakis, George
core +1 more source
On two fragments with negation and without implication of the logic of residuated lattices
, 2018 The logic of (commutative integral bounded) residuated lattices is known under different names in the literature: monoidal logic [26], intuitionistic logic without contraction [1], H BCK [36] (nowadays called [InlineMediaObject not available: see ...
García-Cerdaña, Àngel +2 more
core +1 more source
Possible translations algebraizability
, 2005 The interest of investigating combinations of logics has a philosophical side, a purely logic-theoretical side and promising applicational interests. This paper concentrates on the logic-theoretical side and studies some general methods for combination ...
J. Bueno-Soler +2 more
core
Categorical abstract algebraic logic: equivalent . . .
, 2003 A category theoretic generalization of the theory of algebraizable deductive systems of Blok and Pigozzi is developed. The theory of institutions of Goguen and Burstall is used to provide the underlying framework which replaces and generalizes the ...
George Voutsadakis
core
The logic of equilibrium and abelian lattice ordered groups
, 2002 We introduce a deductive system Bal which models the logic of balance of opposing forces or of balance between conflicting evidence or influences. “Truth values ” are interpreted as deviations From a state of equilibrium, so in this sense, the theorems ...
Adriana Galli +2 more
core
An Annotated Logic Defined By A Matrix
, 2000 Of special interest in abstract algebraic logic currently is the problem of extending the general theory of algebraization to logical systems that fail to be structural.
D. Pigozzi +3 more
core
A categorial foundation for a representation theory of logics
, 2016 Neste trabalho estabelecemos uma base teórica para a construção de uma teoria de rep- resentação de lógicas proposicionais. Iniciamos identificando uma relação precisa entre a categoria das lógicas (Blok-Pigozzi) algebrizáveis e a categoria de suas ...
Pinto, Darllan Conceição
core
Bounded and multi-adjoint lattice algebraizable logics
International Journal of Approximate ReasoningMaria Eugenia Cornejo +4 more
openaire +1 more source
Erratum to "Definitional Equivalence and Algebraizability of Generalized Logical Systems".
Ann. Pure Appl. Log., 2000 openaire +2 more sources