Cover Image

Many-valued aspects of tense an related operators

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Botur, Michal, Paseka, Jan, Smolka, Richard
Format:	Preprint
Published:	2025
Subjects:	Logic Category Theory 06F07
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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)

Quantales carrying ortholattice structure
by: Botur, Michal, et al.
Published: (2026)

Foulis m-semilattices and their modules
by: Botur, Michal, et al.
Published: (2025)

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

Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
by: Putra, Juanda Kelana, et al.
Published: (2026)

A new representation of finite Hoops using a new type of product of structures
by: Botur, Michal
Published: (2025)

Grothendieck prelopologies: towards a closed monoidal sheaf category
by: Tenório, Ana Luiza, et al.
Published: (2024)

Kites and representations of pseudo MV-algebras
by: Botur, Michal, et al.
Published: (2025)

Groupoids, imaginaries and internal covers
by: Hrushovski, Ehud
Published: (2006)

Many-valued coalgebraic logic over semi-primal varieties
by: Kurz, Alexander, et al.
Published: (2023)

Categorical Diffusion of Weighted Lattices
by: Ghrist, Robert, et al.
Published: (2025)

The powerset monad on quantale-valued sets
by: Shen, Lili, et al.
Published: (2023)

A taxonomy of categories for relations
by: Cioffo, Cipriano Junior, et al.
Published: (2025)

Raney extensions of frames: topological aspects
by: Suarez, Anna Laura
Published: (2024)

On the axiomatisability of the dual of compact ordered spaces
by: Abbadini, Marco
Published: (2025)

Left-Linear Rewriting in Adhesive Categories
by: Baldan, Paolo, et al.
Published: (2024)

Positively closed $Sh(B)$-valued models
by: Kanalas, Kristóf
Published: (2024)

A Gelfand duality for continuous lattices
by: Chen, Ruiyuan
Published: (2023)

On duality and model theory for polyadic spaces
by: van Gool, Sam, et al.
Published: (2022)

The associative-poset point of view on right regular bands
by: Kuperman, Joel, et al.
Published: (2025)

Topologically valued transition structures
by: Collinson, Matthew
Published: (2026)

Extended Contact Algebras: Algebraic analysis and duality theory
by: Gruszczyński, Rafał, et al.
Published: (2025)

Terminal Coalgebras in Countably Many Steps
by: Adámek, Jiří, et al.
Published: (2023)

Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales
by: Dagnino, Francesco, et al.
Published: (2025)

Logical relations for call-by-push-value models, via internal fibrations in a 2-category
by: de Amorim, Pedro H. Azevedo, et al.
Published: (2025)

Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)

Monoidal Quantaloids
by: Jenča, Gejza, et al.
Published: (2025)

On the lack of colimits in various categories arising in pointfree topology and algebraic logic
by: Abbadini, Marco, et al.
Published: (2025)

An Analysis of Symmetry in Quantitative Semantics
by: Clairambault, Pierre, et al.
Published: (2024)

Realization of relational presheaves
by: Chamoun, Yorgo, et al.
Published: (2025)

Generic bundles over a localic category
by: Manuell, Graham, et al.
Published: (2026)

Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions
by: Chen, Ruiyuan
Published: (2022)

Homological Invariants of Higher-Order Equational Theories
by: Ikebuchi, Mirai
Published: (2025)

Di- is for Directed: First-Order Directed Type Theory via Dinaturality
by: Laretto, Andrea, et al.
Published: (2024)

Stack Representation of Finitely Presented Heyting Pretoposes I
by: Ye, Lingyuan
Published: (2024)

Various topos of types constructions
by: Kanalas, Kristóf
Published: (2025)

Existence Theorem for Cumulative Universe Towers and Its Applications
by: Reizi, Higuchi Joaquim
Published: (2025)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
by: Rogozin, Daniel
Published: (2025)

A constructive approach to the double-categorical small object argument
by: Berg, Benno van den, et al.
Published: (2025)