:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	McDonald, Joseph
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2507.17724
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Cylindric quasi-implication algebras
by: McDonald, Joseph
Published: (2025)

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

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

Cardinal Characteristics and Computability
by: McDonald, Logan
Published: (2025)

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

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

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

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

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

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

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

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

Monadic ortholattices: completions and duality
by: Harding, John, et al.
Published: (2024)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

Representable distributive quasi relation algebras
by: Craig, Andrew, et al.
Published: (2023)

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

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

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

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

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

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

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

Normative implications
by: De Domenico, Andrea, et al.
Published: (2025)

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

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

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

Separation of congruence intervals and implications
by: Bulatov, Andrei A.
Published: (2020)

Coset relation algebras
by: Andréka, H., et al.
Published: (2018)

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

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

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

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

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)

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

Orthogonal decomposition of definable groups
by: Berarducci, Alessandro, et al.
Published: (2021)

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

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

The epimorphism relation among countable groups is a complete analytic quasi-order
by: Gao, Su, et al.
Published: (2025)

Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)