Cover Image

Implicative-orthomodular algebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Ciungu, Lavinia Corina
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Foulis-Holland theorem for implicative-orthomodular lattices
by: Ciungu, Lavinia Corina
Published: (2024)

Centers of quantum-Wajsberg algebras
by: Ciungu, Lavinia Corina
Published: (2023)

Generalizations of quantum-Wajsberg algebras
by: Ciungu, Lavinia Corina
Published: (2024)

Implicative-orthomodular lattices
by: Ciungu, Lavinia Corina
Published: (2024)

Classification of states on certain orthomodular structures
by: Ciungu, Lavinia Corina
Published: (2025)

Quantum-Wajsberg algebras
by: Ciungu, Lavinia Corina
Published: (2023)

Implicative-ortholattices as orthogonality spaces
by: Ciungu, Lavinia Corina
Published: (2025)

Quotient quantum-Wajsberg algebras
by: Ciungu, Lavinia Corina
Published: (2023)

Foulis quantales and complete orthomodular lattices
by: Botur, Michal, et al.
Published: (2025)

A dagger kernel category of complete orthomodular lattices
by: Botur, Michal, et al.
Published: (2025)

On $\mathscr{T}$-based orthomodular dynamic algebras
by: Paseka, Jan, et al.
Published: (2026)

Linear-time logics -- a coalgebraic perspective
by: Cirstea, Corina
Published: (2016)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
by: Kojima, Ryota, et al.
Published: (2025)

Traces via Strategies in Two-Player Games
by: Plummer, Benjamin, et al.
Published: (2025)

A natural deduction system for orthomodular logic
by: Kornell, Andre
Published: (2021)

Difference-restriction algebras with operators
by: Borlido, Célia, et al.
Published: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)

Convex algebras on an interval with semicontinuous monotone operations
by: Sokolova, Ana, et al.
Published: (2026)

On Geometric Implications
by: Tabatabai, Amirhossein Akbar
Published: (2024)

Nelson algebras, residuated lattices and rough sets: A survey
by: Järvinen, Jouni, et al.
Published: (2024)

On the preservation of unification type of Heyting algebras and interior algebras
by: Düntsch, Ivo, et al.
Published: (2025)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
by: de Groot, Jim, et al.
Published: (2021)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
by: Alvarez, David Quinn
Published: (2025)

Local structure of idempotent algebras I
by: Bulatov, Andrei A.
Published: (2020)

Obligations and permissions, algebraically
by: De Domenico, Andrea, et al.
Published: (2024)

Hemi-Nelson algebras
by: Lubomirsky, Noemí, et al.
Published: (2026)

Fundamental Propositional Logic with Strict Implication
by: Chen, Zhicheng
Published: (2025)

Duality for finitely valued algebras
by: Abbadini, Marco, et al.
Published: (2025)

Bounded depth in Hilbert algebras
by: Carai, Luca, et al.
Published: (2026)

On covers of quasivarieties of p-algebras
by: Gyenis, Zalán
Published: (2026)

Strong quasi-MV* algebras and their logics
by: Cai, Lei, et al.
Published: (2025)

Model theory of term algebras revisited
by: Carolillo, Davide, et al.
Published: (2026)

The logic of quasi MV star algebras
by: Cai, Lei, et al.
Published: (2025)

Embedding stable groups into algebraic groups
by: Bartnick, Charlotte
Published: (2025)

The completeness and congruences of quasi-Boolean algebras
by: Liu, Xiaohao, et al.
Published: (2025)

On Fidel Vakarelov construction for Monadic Godel algebras
by: Alonso, Maria Valentina, et al.
Published: (2024)

Model-theoretic properties of nilpotent groups and Lie algebras
by: d'Elbée, Christian, et al.
Published: (2023)

Varieties of modal algebras without the congruence extension property
by: Gyenis, Zalán, et al.
Published: (2024)

An essentially algebraic glance to Kripke semantics: the S5 case
by: De Berardinis, Matteo, et al.
Published: (2025)