Cover Image

On syntactic concept lattice models for the Lambek calculus and infinitary action logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Kuznetsov, Stepan L.
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science 03G10
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Relational Models for the Lambek Calculus with Intersection and Constants
by: Kuznetsov, Stepan L.
Published: (2022)

Conjunctive categorial grammars and Lambek grammars with additives
by: Kuznetsov, Stepan L., et al.
Published: (2024)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
by: Castiglioni, José Luis, et al.
Published: (2025)

Obligations and permissions on selfextensional logics
by: De Domenico, Andrea, et al.
Published: (2024)

Deducibility in the full Lambek calculus with weakening is HAck-complete
by: Greati, Vitor, et al.
Published: (2024)

Reducts of fuzzy contexts: Formal concept analysis vs. rough set theory
by: Chen, Yuxu, et al.
Published: (2025)

Modal logic, fundamentally
by: Holliday, Wesley H.
Published: (2024)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
by: Hartonas, Chrysafis
Published: (2023)

Projection-algebras and quantum logic
by: Lehmann, Daniel
Published: (2024)

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

Reasoning from hypotheses in *-continuous action lattices
by: Kuznetsov, Stepan L., et al.
Published: (2024)

Morita Rigidity for Kleene Algebras
by: Serafin, Luke
Published: (2025)

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

Monotone infinitary operations on ordinals (extended version)
by: Lipparini, Paolo
Published: (2025)

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic
by: Ding, Yiwen, et al.
Published: (2024)

A propositional cirquent calculus for computability logic
by: Japaridze, Giorgi
Published: (2024)

Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)

Constructive validity of a generalized Kreisel-Putnam rule
by: Pezlar, Ivo
Published: (2023)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

Hyper swap structures and Kalman functors: the case study of da Costa logic $C_ω$
by: Coniglio, Marcelo E., et al.
Published: (2025)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)

Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)

The Uniform Functional Interpretation with Informative Types
by: Ferreira, Fernando, et al.
Published: (2025)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
by: Frey, Jonas
Published: (2023)

Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)

The most natural paradefinite logic relative to classical logic
by: Middelburg, C. A.
Published: (2026)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

Models for the common knowledge logic
by: Tanaka, Yoshihito
Published: (2024)

The prime spectrum of an $L$-algebra
by: Rump, W., et al.
Published: (2022)

Interpolation and the Exchange Rule
by: Fussner, Wesley, et al.
Published: (2023)

The Orthologic of Epistemic Modals
by: Holliday, Wesley H., et al.
Published: (2022)

Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)

The interdefinability of expansions of Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2024)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

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

Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)

Reflection ranks via infinitary derivations
by: Walsh, James
Published: (2021)

Generalization of terms via universal algebra
by: Flaminio, Tommaso, et al.
Published: (2025)

Splittings in varieties of logic
by: Davey, Brian A., et al.
Published: (2025)