We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...

let $mathfrak{l}$ be the virasoro-like algebra and $mathfrak{g}$ itsderived algebra, respectively. we investigate the structure of the lie triplederivation algebra of $mathfrak{l}$ and $mathfrak{g}$. we provethat they are both isomorphic to $mathfrak{l}$, which provides twoexamples of invariance under triple derivation.

Algebra is the study of mathematical manipulations that preserve something (like equality –when solving equations). The areas in which Algebra finds application are quite diverse, from Ancient Greek Geometry through to Modern Information Protection and Security (error correcting codes, data compression, and cryptography). This course begins with topics that should be familiar (such as rulerand-...

Let $mathfrak{L}$ be the Virasoro-like algebra and $mathfrak{g}$ itsderived algebra, respectively. We investigate the structure of the Lie triplederivation algebra of $mathfrak{L}$ and $mathfrak{g}$. We provethat they are both isomorphic to $mathfrak{L}$, which provides twoexamples of invariance under triple derivation.

Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-premise rule taking a proof of x=y and returning a proof of y=x; and transitivity is a 2-premise rule taking proofs of x=y and y=z, and returning a proof of x=z. Define an equivalence relation to hold between proofs iff ...

In this paper, we introduce a notion of generalized states from an EQ-algebra E1 to another EQ-algebra E2, which is a generalization of internal states (or state operators) on an EQ-algebra E. Also we give a type of special generalized state from an EQ-algebra E1 to E1, called generalized internal states (or GI-state). Then we give some examples and basic properties of generalized (internal) st...

In this paper, we introduce a new algebra called ‘EQ-algebra’, which is an alternative algebra of truth values for formal fuzzy logics. It is specified by replacing implication as the main operation with a fuzzy equality. Namely, EQ-algebra is a semilattice endowed with a binary operation of fuzzy equality and a binary operation of multiplication. Implication is derived from the fuzzy equality ...

We propose a uniform way of defining for every logic L intermediate between intuitionistic and classical logics, the corresponding intermediate tense logic LKt. This is done by building the fusion of two copies of intermediate logic with a Galois connection LGC, and then interlinking their operators by two Fischer Servi axioms. The resulting system is called L2GC+FS. In the cases of intuitionis...

There exist formal accounts of tense and aspect, such as that detailed by Reichenbach (1947). Temporal semantics for corpus annotation are also available, such as TimeML. This paper describes a technique for linking the two, in order to perform a corpus-based empirical validation of Reichenbach’s tense framework. It is found, via use of Freksa’s semi-interval temporal algebra, that tense approp...