Add to ORKGWe involve a certain propositional logic based on ortholattices. We characterize the implicational reduct of such a logic and we show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence kernels of these algebras are described
summary:The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics,...
In the present work we prove some direct theorems of the approximation theory in the weighted Orlicz...
The article introduces propositional linear time temporal logic as a formal system. Axioms and rules...
summary:We prove that an orthomodular lattice can be considered as a groupoid with a distinguished e...
summary:We prove that an orthomodular lattice can be considered as a groupoid with a distinguished e...
In his paper [3] Wermus defines ordinal numbers as "Z - symbols" of the form [a1n ..., ak κ, ≥ 1 a...
In his paper [3] Wermus defines ordinal numbers as "Z - symbols" of the form [a1n ..., ak κ, ≥ 1 a...
In this paper we give an ordinal analysis of a set theory extending ${\sf KP}\ell^{r}$ with an axiom...
This article introduces propositional logic as a formal system ([14], [10], [11]). The formulae of t...
AbstractIn this paper, we give two proofs of the wellfoundedness of a recursive notation system for ...
The following results are proved, using the axiom of Projective Determinacy: (i) For n ⪴ 1, every ∏^...
summary:We set up axioms characterizing logical connective implication in a logic derived by an orth...
We prove that for a discrete determinantal process the BK inequality occurs for increasing events ge...
Axiomatizing mathematical structures and theories is an objective of Mathematical Logic. Some axioma...
AbstractThe founding idea of linear logic is the duality between A and A⊥, with values in ⊥. This id...
summary:The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics,...
In the present work we prove some direct theorems of the approximation theory in the weighted Orlicz...
The article introduces propositional linear time temporal logic as a formal system. Axioms and rules...
summary:We prove that an orthomodular lattice can be considered as a groupoid with a distinguished e...
summary:We prove that an orthomodular lattice can be considered as a groupoid with a distinguished e...
In his paper [3] Wermus defines ordinal numbers as "Z - symbols" of the form [a1n ..., ak κ, ≥ 1 a...
In his paper [3] Wermus defines ordinal numbers as "Z - symbols" of the form [a1n ..., ak κ, ≥ 1 a...
In this paper we give an ordinal analysis of a set theory extending ${\sf KP}\ell^{r}$ with an axiom...
This article introduces propositional logic as a formal system ([14], [10], [11]). The formulae of t...
AbstractIn this paper, we give two proofs of the wellfoundedness of a recursive notation system for ...
The following results are proved, using the axiom of Projective Determinacy: (i) For n ⪴ 1, every ∏^...
summary:We set up axioms characterizing logical connective implication in a logic derived by an orth...
We prove that for a discrete determinantal process the BK inequality occurs for increasing events ge...
Axiomatizing mathematical structures and theories is an objective of Mathematical Logic. Some axioma...
AbstractThe founding idea of linear logic is the duality between A and A⊥, with values in ⊥. This id...
summary:The algebraic theory of quantum logics overlaps in places with certain areas of cybernetics,...
In the present work we prove some direct theorems of the approximation theory in the weighted Orlicz...
The article introduces propositional linear time temporal logic as a formal system. Axioms and rules...