Results 11 to 20 of about 403 (203)

Equality Logic [PDF]

, 2020
In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local deduction theorem.
Ghorbani, Shokoofeh
core   +1 more source

Canonical varieties with no canonical axiomatisation [PDF]

, 2005
Accepted ...
Yde Venema, Ian Hodkinson, Hodkinson, I, Venema, Y, Hodkinson, I., Venema, Y.   +5 more
core   +1 more source

Topological Completeness of First-Order Modal Logic [PDF]

, 2012
As McKinsey and Tarski [20] showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the "necessity" operation is modeled by taking ...
Awodey, S., Bolander, T., Kishida, K., Braüner, T., Moss, L., Ghilardi, S.   +5 more
core   +2 more sources

Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Groebner Bases [PDF]

, 2010
We review our algebraic framework for linear boundary problems (concentrating on ordinary differential equations). Its starting point is an appropriate algebraization of the domain of functions, which we have named integro-differential algebras.
Regensburger, Georg, Erich L. Kaltofen, Buchberger, Bruno, Rosenkranz, Markus, Tec, Loredana   +4 more
core   +1 more source

Complex Fuzzy Sets with Application in BCK/BCI-Algebras [PDF]

, 2019
As a generation of fuzzy set, the notion of complex fuzzy set which is an innovative concept is introduced by Ramot, Milo, Friedman and Kandel. The purpose of this article is to apply complex fuzzy set to BCK/BCI-algebras.
Xin, Xiao Long, Jun, Young Bae
core   +1 more source

Modal Logics are Coalgebraic

, 2008
Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts.
Yde Venema, Schröder, Lutz, Dirk Pattinson, Cirstea, Corina, Lutz Werner Schröder, Kurz, Alexander, Venema, Y., Corina Cirstea, Pattinson, D., Pattinson, Dirk, Kurz, A., Schröder, L., Venema, Yde, Cirstea, C., Alexander Kurz   +14 more
core   +1 more source

RESEARCH ON NUMBER THEORY AND SMARANDACHE NOTIONS [PDF]

, 2009
This Book is devoted to the proceedings of the fifth International Conference on Number Theory and Smarandache Notions held in Shangluo during March 27-30, 2009, assembling not only those papers which were presented at the conference but also those ...
Wenpeng, Zhang (editor)
core   +1 more source

On BCK Algebras - Part I.a: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras

, 2007
Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classify these dual presentations in "left" and "right" ones and we consider that,
Iorgulescu, Afrodita, Iorgulescu,Afrodita   +1 more
core   +1 more source

Soju Filters in Hoop Algebras [PDF]

, 2020
The notions of (implicative) soju filters in a hoop algebra are introduced, and related properties are investigated. Relations between a soju sub-hoop, a soju filter and an implicative soju filter are discussed.
Borzooei, Rajab Ali, Jun, Young Bae, Kologhani, Mona Aaly, Rezaei, Gholam Reza   +3 more
core   +1 more source

Topos-Theoretic Approaches to Quantum Theory [PDF]

, 2012
Starting from a naive investigation into the nature of experiments on a physical system one can argue that states of the system should pair non-degenerately with physical observables. This duality is closely related to that between space and quantity, or,
Vákár, Matthijs, Matthijs Vakar
core