Image de couverture de livre

Tensor term logic for categorial grammars: simple unification of commutative and noncommutative structure

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Slavnov, Sergey
Format:	Preprint
Publié:	2023
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Making first order linear logic a generating grammar
par: Slavnov, Sergey
Publié: (2022)

Categorial grammars with unique category assignment
par: Vishnikin, Maxim, et autres
Publié: (2025)

A unification of graded and substructural logics
par: Hanukaev, Peter, et autres
Publié: (2026)

Conjunctive categorial grammars and Lambek grammars with additives
par: Kuznetsov, Stepan L., et autres
Publié: (2024)

Solving unification in the description logic $\mathcal{FL}_\bot$
par: Morawska, Barbara, et autres
Publié: (2024)

A joint logic of problems and propositions
par: Melikhov, Sergey A.
Publié: (2025)

Non-commutative linear logic fragments with sub-context-free complexity
par: Nishimiya, Yusaku, et autres
Publié: (2025)

Nominal anti-unification
par: Baumgartner, Alexander, et autres
Publié: (2025)

Recursive windows for grammar logics of bounded density
par: Gasquet, Olivier
Publié: (2025)

Monoidal categories graded by partial commutative monoids
par: Earnshaw, Matthew, et autres
Publié: (2026)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
par: Herbelin, Hugo
Publié: (2024)

On the preservation of unification type of Heyting algebras and interior algebras
par: Düntsch, Ivo, et autres
Publié: (2025)

On the expressive power of inquisitive team logic and inquisitive first-order logic
par: Kontinen, Juha, et autres
Publié: (2026)

On Many-logic modal structures and information-based logics
par: Martins, Manuel, et autres
Publié: (2026)

Quantum modal logic
par: Tokuo, Kenji
Publié: (2025)

Clones, closed categories, and combinatory logic
par: Saville, Philip
Publié: (2024)

Tableau methodology for propositional logics
par: Jarmuzek, T., et autres
Publié: (2025)

FILO -- automated unification in $\mathcal{FL}_0$
par: Morawska, Barbara, et autres
Publié: (2025)

On structural proof theory of the modal logic K+ extended with infinitary derivations
par: Shamkanov, Daniyar
Publié: (2023)

The unification type of Lukasiewicz logic with a bounded number of variables
par: Abbadini, Marco, et autres
Publié: (2025)

Intuitionistic logic, dual intuitionistic logic, and modality
par: Aryal, Safal Raman
Publié: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
par: Bonanno, Giacomo
Publié: (2026)

How to avoid the commuting conversions of IPC
par: Santo, José Espírito, et autres
Publié: (2024)

A logic for default deontic reasoning
par: Piazza, Mario, et autres
Publié: (2025)

Modal definability in Euclidean modal logics
par: Balbiani, Philippe, et autres
Publié: (2025)

Filling in the semantics for intuitionistic conditional logic
par: Dufty, Brendan, et autres
Publié: (2025)

Modelling of logical systems by means of their fragments
par: Rybakov, Mikhail
Publié: (2025)

Extended multi-adjoint logic programming
par: Cornejo, M. Eugenia, et autres
Publié: (2024)

On the logical structure of choice and bar induction principles
par: Brede, Nuria, et autres
Publié: (2021)

A proof theory of right-linear (omega-)grammars via cyclic proofs
par: Das, Anupam, et autres
Publié: (2024)

Superabelian logics
par: Cintula, Petr, et autres
Publié: (2024)

Further remarks on the dual negation in team logics
par: Anttila, Aleksi
Publié: (2024)

Intuitionistic monotone modal logic via translation
par: de Groot, Jim
Publié: (2025)

Intuitionistic modal logics: a minimal setting
par: Balbiani, Philippe, et autres
Publié: (2025)

Bi-intuitionistic logics through the abstract algebraic logic lens
par: Deakin, Jonte, et autres
Publié: (2025)

How (and when) can you fit examples to logic-based hypothesis classes over infinite structures?
par: Benedikt, Michael, et autres
Publié: (2026)

On the unification problem for GLP
par: Beklemishev, Lev D.
Publié: (2024)

A Note On Square-free Sequences and Anti-unification Type
par: Cerna, David M.
Publié: (2024)

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)

Intrinsic and relative characterization results for logics with negative modalities
par: de Groot, Jim, et autres
Publié: (2025)