Imagen de Portada

Orthogonality relations and operators on bounded quasi-implication algebras

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	McDonald, Joseph
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Cylindric quasi-implication algebras
por: McDonald, Joseph
Publicado: (2025)

Canonical completion and duality for cylindric ortholattices and cylindric Boolean algebras
por: McDonald, Joseph
Publicado: (2025)

Direct and ordinal products realized by triangular norm operators with no zero divisors
por: McDonald, Joseph
Publicado: (2023)

Cardinal Characteristics and Computability
por: McDonald, Logan
Publicado: (2025)

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

Contractions of quasi relation algebras and applications to representability
por: Craig, Andrew, et al.
Publicado: (2026)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
por: Craig, Andrew, et al.
Publicado: (2025)

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

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

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

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

Defining implication relation for classical logic
por: Fu, Li
Publicado: (2013)

Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
por: Lin, Chun-Yu, et al.
Publicado: (2025)

Monadic ortholattices: completions and duality
por: Harding, John, et al.
Publicado: (2024)

Preservation theorems for Tarski's relation algebra
por: Bogaerts, Bart, et al.
Publicado: (2023)

A simplified lower bound for implicational logic
por: Jeřábek, Emil
Publicado: (2023)

Representable distributive quasi relation algebras
por: Craig, Andrew, et al.
Publicado: (2023)

Structures of uninorms on bounded lattices via t-conorms, closure operators and t-subnorms
por: Xiu, Zhenyu, et al.
Publicado: (2025)

Imaginaries in perfect bounded pseudo algebraically closed fields with finitely many independent valuations
por: Leandro, Bryan González
Publicado: (2026)

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
por: Alpay, Natanael, et al.
Publicado: (2022)

Uninorms via two comparable closure operators on bounded lattices
por: Xiu, Zhenyu, et al.
Publicado: (2025)

Representability for distributive quasi relation algebras via nested sums
por: Craig, Andrew, et al.
Publicado: (2025)

Normative implications
por: De Domenico, Andrea, et al.
Publicado: (2025)

On first-order definable operations on relational structures
por: Courcelle, Bruno
Publicado: (2026)

On matrix rank function over bounded arithmetics
por: Ken, Eitetsu, et al.
Publicado: (2023)

Separation of congruence intervals and implications
por: Bulatov, Andrei A.
Publicado: (2020)

Computable $K$-theory for C*-algebras II: AF algebras
por: Eagle, Christopher J., et al.
Publicado: (2026)

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

On the consistency of stronger lower bounds for NEXP
por: Thapen, Neil
Publicado: (2025)

Boolean basis, formula size, and number of modal operators
por: Berkholz, Christoph, et al.
Publicado: (2024)

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

Borel equivalence relations in the space of bounded operators
por: Smythe, Iian B.
Publicado: (2014)

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

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

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

Coset relation algebras
por: Andréka, H., et al.
Publicado: (2018)

Local structure of idempotent algebras I
por: Bulatov, Andrei A.
Publicado: (2020)

Orthogonal decomposition of definable groups
por: Berarducci, Alessandro, et al.
Publicado: (2021)

Implicative-orthomodular algebras
por: Ciungu, Lavinia Corina
Publicado: (2023)

Obligations and permissions, algebraically
por: De Domenico, Andrea, et al.
Publicado: (2024)