Results 241 to 250 of about 716,706 (268)

Abstract Algebraic Logic

1998
The classical method of associating a class of algebras with a logical system is that of Lindenbaum and Tarski. It can be applied to any system with a biconditional ↔ that is compositional in the sense that it defines a congruence relation on the absolutely free algebra of formulas.
openaire   +2 more sources

The Equational Logic For Graph Algebras

Mathematical Logic Quarterly, 1989
Graph algebras establish a useful connection between graphs and universal algebras. In this paper the Completeness Theorem for the equational logic of graph algebras is formulated and proved: A set \(\Sigma\) of identities in graph algebras implies an identity \(p\approx q\) (that is, \(p\approx q\) holds in all graph algebras in which \(\Sigma\) holds)
openaire   +2 more sources

L-algebras in logic, algebra, geometry, and topology

Soft Computing, 2020
\(L\)-algebras are treated here mainly from the viewpoint of algebraic logic as algebras of kind \((A,\to,1)\) satisfying the axioms \((x \to y) \to (x \to z) = (y \to x) \to (y \to z)\) and \(x \to y = y \to x = 1 \Rightarrow x = y\), cf. [the author, J. Algebra 320, No. 6, 2328--2348 (2008; Zbl 1158.06009)].
openaire   +1 more source

Di-Algebraic Semantics of Logics

Fundamenta Informaticae, 2006
In [22] the problem of the logics corresponding to topological quasi-boolean algebras [27, 1] has been recently solved by the present author. The semantics provided involved convex amalgams of boolean algebras with additional total and partial operations. Canonical extensions of the structure was also investigated.
openaire   +3 more sources

Algebraic polymodal logic: a survey

Logic Journal of IGPL, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Algebraic and logical aspects of unification

1992
During the last years unification theory has become an important subfield of automated reasoning and logic programming. The aim of the present paper is to relate unification theory to classical work on equation solving in algebra and mathematical logic. We show that many problems in unification theory have their counterpart in classical mathematics and
openaire   +3 more sources

On the logic of closure algebra

2011
An open problem in modal logic is to know if the fusion S4 S4 is the complete modal logic for the product of any two metric separable dense-in-themselves spaces. This would be settled, positively, if one could prove the following conjecture: When S4 is the complete logic for two complete atomic closure algebras, B and C, then the fusion S4 S4 is the ...
openaire   +2 more sources

Order, Algebra and Logics

Journal of Logic and Computation, 2010
George Metcalfe, Constantine Tsinakis
openaire   +1 more source

An Algebraic Study of S5-Modal Gödel Logic

Studia Logica, 2021
Diego Castaño
exaly  

On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs

Studia Logica, 2023
Meghdad Ghari
exaly