:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Rostami, Esmaeil
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	https://arxiv.org/abs/2501.10959
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On Semi-simplicity Results in Residuated Lattices
por: Rostami, Esmaeil
Publicado: (2025)

n-fold filters in residuated lattice
por: Kadji, A., et al.
Publicado: (2013)

Gelfand residuated lattices
por: Rasouli, Saeed, et al.
Publicado: (2022)

Pointed lattice subreducts of varieties of residuated lattices
por: Přenosil, Adam
Publicado: (2023)

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

Nagata products of bimodules over residuated lattices
por: Přenosil, Adam, et al.
Publicado: (2025)

Some applications of fuzzy sets in residuated lattices
por: Flaut, Cristina, et al.
Publicado: (2024)

Pregroup representable expansions of residuated lattices
por: Craig, Andrew, et al.
Publicado: (2026)

Rings and Boolean Algebras as Algebraic Theories
por: De Faveri, Arturo
Publicado: (2025)

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

Terms that define nuclei on residuated lattices: a case study of BL-algebras
por: Buss, Sebastián, et al.
Publicado: (2024)

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

Construction under Martin's axiom of a Boolean algebra with the Grothendieck property but without the Nikodym property
por: Sobota, Damian, et al.
Publicado: (2023)

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

Simple, subdirectly irreducible weakly dicomplemented lattices
por: Jeufack, Yannick Lea Tenkeu, et al.
Publicado: (2026)

Boolean-valued second-order logic revisited
por: Ikegami, Daisuke
Publicado: (2025)

The Nikodym and Grothendieck properties of Boolean algebras and rings related to ideals
por: Sobota, Damian, et al.
Publicado: (2025)

On Kleisli liftings and decorated trace semantics
por: Luckhardt, Daniel, et al.
Publicado: (2024)

Growth and irreducibility in path-incompressible trees
por: Barmpalias, George, et al.
Publicado: (2022)

The Boolean Compactness Theorem for $\mathrm{L}_{\infty\infty}$
por: Suárez, Juan M Santiago, et al.
Publicado: (2025)

Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities
por: Jarmuzek, Tomasz, et al.
Publicado: (2024)

Satisfiability of Quantified Boolean Announcements
por: van Ditmarsch, Hans, et al.
Publicado: (2022)

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

Compositional Control-Driven Boolean Circuits
por: Arellanes, Damian
Publicado: (2025)

Algebraic characterisation of pseudo-elementary and second-order classes
por: Ivanyos, János Balázs
Publicado: (2026)

Symmetries of Dependency Quantified Boolean Formulas
por: Hofstadler, Clemens, et al.
Publicado: (2024)

Structural Analysis of Boolean Equation Systems
por: Keiren, Jeroen, et al.
Publicado: (2010)

On Top-Down Pseudo-Boolean Model Counting
por: Yang, Suwei, et al.
Publicado: (2025)

Hofmann-Streicher lifting of fibred categories
por: Slattery, Andrew, et al.
Publicado: (2025)

Compactifications of pseudofinite and pseudo-amenable groups
por: Conant, Gabriel, et al.
Publicado: (2023)

A robust family of residually finite groups; spectra of residual finiteness growth, computability properties, and other applications (with an appendix by Arman Darbinyan and Emmanuel Rauzy)
por: Darbinyan, Arman, et al.
Publicado: (2025)

Polynomials as terms and the Boolean Independence Theorem
por: Klazar, M.
Publicado: (2024)

Equational definitions of logical filters
por: Baldi, Michele Pra, et al.
Publicado: (2024)

Boolean proportions
por: Antić, Christian
Publicado: (2021)

Simplifier: A New Tool for Boolean Circuit Simplification
por: Averkov, Daniil, et al.
Publicado: (2025)

Bringing memory to Boolean networks: a unifying framework
por: Gadouleau, Maximilien, et al.
Publicado: (2024)

Practical Boolean Decomposition for Delay-driven LUT Mapping
por: Calvino, Alessandro Tempia, et al.
Publicado: (2024)

Bridging abstract dialectical argumentation and Boolean gene regulation
por: Azpeitia, Eugenio, et al.
Publicado: (2024)

Queen Domination by SAT Solving
por: Rostami, Taha, et al.
Publicado: (2025)

On the structure of balanced residuated partially ordered monoids
por: Bonzio, Stefano, et al.
Publicado: (2024)