Buchumschlag

Twist-structures isomorphic to modal Nelson lattices

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Menchón, Paula, Rodriguez, Ricardo O.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Hemi-Nelson algebras
von: Lubomirsky, Noemí, et al.
Veröffentlicht: (2026)

Subresiduated Nelson Algebras
von: Lubomirsky, Noemí, et al.
Veröffentlicht: (2024)

Rotations of Gödel algebras with modal operators
von: Flaminio, Tommaso, et al.
Veröffentlicht: (2024)

Nelson algebras, residuated lattices and rough sets: A survey
von: Järvinen, Jouni, et al.
Veröffentlicht: (2024)

Probably isomorphic structures
von: Farah, Ilijas, et al.
Veröffentlicht: (2025)

On Nondefinability of Interior-Connectedness via the Contact Relation
von: Gruszczyński, Rafał, et al.
Veröffentlicht: (2025)

A mixed logic with binary operators
von: Düntsch, Ivo, et al.
Veröffentlicht: (2024)

Conditional algebras
von: Celani, Sergio, et al.
Veröffentlicht: (2024)

Extended Contact Algebras: Algebraic analysis and duality theory
von: Gruszczyński, Rafał, et al.
Veröffentlicht: (2025)

Labelled calculi for lattice-based modal logics
von: van der Berg, Ineke, et al.
Veröffentlicht: (2024)

Superamalgamation for modal lattices via non-distributive dualities
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2026)

Game semantics for lattice-based modal μ-calculus
von: Ding, Yiwen, et al.
Veröffentlicht: (2023)

Towards a logic of affordances
von: Gruszczynski, Rafal, et al.
Veröffentlicht: (2025)

Considerations on Everett J. Nelson's connexive logic
von: Fazio, Davide, et al.
Veröffentlicht: (2025)

The isomorphism problem for group actions
von: Foreman, Matthew, et al.
Veröffentlicht: (2025)

Quantum modal logic
von: Tokuo, Kenji
Veröffentlicht: (2025)

The Myhill isomorphism theorem does not generalize much
von: Pradic, Cécilia
Veröffentlicht: (2025)

On structural proof theory of the modal logic K+ extended with infinitary derivations
von: Shamkanov, Daniyar
Veröffentlicht: (2023)

Oracle modalities
von: Swan, Andrew W
Veröffentlicht: (2024)

A note on adding isomorphisms and the pseudointersection number
von: Switzer, Corey Bacal
Veröffentlicht: (2025)

Oligomorphic groups, their automorphism groups, and the complexity of their isomorphism
von: Paolini, Gianluca, et al.
Veröffentlicht: (2024)

A modal approach towards substitutions
von: Tu, Yaxin, et al.
Veröffentlicht: (2025)

Modal definability in Euclidean modal logics
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Intuitionistic monotone modal logic via translation
von: de Groot, Jim
Veröffentlicht: (2025)

Interpolation for the two-way modal mu-calculus
von: Kloibhofer, Johannes, et al.
Veröffentlicht: (2025)

Intuitionistic modal logics: a minimal setting
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Axiomatizing logics of finite Gödel-Kripke models
von: Vidal, Amanda, et al.
Veröffentlicht: (2026)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

Cut-elimination for the alternation-free modal mu-calculus
von: Afshari, Bahareh, et al.
Veröffentlicht: (2025)

Intrinsic and relative characterization results for logics with negative modalities
von: de Groot, Jim, et al.
Veröffentlicht: (2025)

Boolean basis, formula size, and number of modal operators
von: Berkholz, Christoph, et al.
Veröffentlicht: (2024)

Twins: non-isomorphic models forced to be isomorphic. Part I
von: Shelah, Saharon
Veröffentlicht: (2025)

Free five-valued Nelson Algebras
von: Cornejo, Juan Manuel, et al.
Veröffentlicht: (2025)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
von: Grilletti, Gianluca, et al.
Veröffentlicht: (2024)

On Many-logic modal structures and information-based logics
von: Martins, Manuel, et al.
Veröffentlicht: (2026)

On the isomorphism problem for ultraproducts of $\mathrm{C}^*$-algebras in continuous model theory
von: Arai, Akihiko
Veröffentlicht: (2025)

Pointed lattice subreducts of varieties of residuated lattices
von: Přenosil, Adam
Veröffentlicht: (2023)

More on modal logics and deduction
von: Gyenis, Zalán, et al.
Veröffentlicht: (2026)

On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4
von: Antunes, Henrique, et al.
Veröffentlicht: (2024)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)