Image de couverture de livre

Semi-Substructural Logics à la Lambek

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Wan, Cheng-Syuan
Format:	Preprint
Publié:	2024
Sujets:	Logic Logic in Computer Science F4.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Relational Models for the Lambek Calculus with Intersection and Constants
par: Kuznetsov, Stepan L.
Publié: (2022)

Logic of Sets with Atoms
par: Masters, Jake
Publié: (2025)

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

Complexity of Nonassociative Lambek Calculus with classical logic
par: Płaczek, Paweł
Publié: (2024)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
par: Becker, Justus
Publié: (2025)

Deducibility in the full Lambek calculus with weakening is HAck-complete
par: Greati, Vitor, et autres
Publié: (2024)

On a Dependently Typed Encoding of Matching Logic
par: Kurucz, Ádám, et autres
Publié: (2025)

Efficient Normalization of Linear Temporal Logic
par: Esparza, Javier, et autres
Publié: (2023)

Complexity of Łukasiewicz Modal Probabilistic Logics
par: Kozhemiachenko, Daniil, et autres
Publié: (2025)

Satisfiability in Łukasiewicz logic and its unbounded relative
par: Haniková, Zuzana, et autres
Publié: (2025)

A Topological Rewriting of Tarski's Mereogeometry
par: Barlatier, Patrick, et autres
Publié: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
par: van der Giessen, Iris, et autres
Publié: (2023)

Cardinality and Representation of Stone Relation Algebras
par: Furusawa, Hitoshi, et autres
Publié: (2023)

Computation and Size of Interpolants for Hybrid Modal Logics
par: Jung, Jean Christoph, et autres
Publié: (2026)

CoLF Logic Programming as Infinitary Proof Exploration
par: Chen, Zhibo, et autres
Publié: (2025)

Two Remarks about Game Semantics of Classical Logic
par: Coquand, Thierry
Publié: (2026)

Unified Gentzen Approach to Connexive Logics over Wansing's C
par: Kamide, Norihiro
Publié: (2024)

The mu-calculus' Alternation Hierarchy is Strict over Non-Trivial Fusion Logics
par: Pacheco, Leonardo
Publié: (2025)

Axiomatizing the Logic of Ordinary Discourse
par: Greati, Vitor, et autres
Publié: (2024)

Local-Order-Invariant Logic on Classes of Bounded Degree
par: Aoki, Derek
Publié: (2025)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
par: Puljujärvi, Joni, et autres
Publié: (2026)

Two-Level Type Theory and Applications
par: Annenkov, Danil, et autres
Publié: (2017)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
par: Borzechowski, Manfred, et autres
Publié: (2025)

Semi-Substructural Logics with Additives
par: Veltri, Niccolò, et autres
Publié: (2024)

Probabilistic Epistemic Dynamic Agentive Logic
par: Logan, Shay Allen
Publié: (2026)

New Bounds for the Ideal Proof System in Positive Characteristic
par: Behera, Amik Raj, et autres
Publié: (2025)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Semantics out of context: nominal absolute denotations for first-order logic and computation
par: Gabbay, Murdoch J.
Publié: (2013)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
par: Santo, José Espírito, et autres
Publié: (2020)

Glivenko's theorems from an ecumenical perspective
par: Pereira, Luiz Carlos, et autres
Publié: (2026)

Constant time testability of first-order logic with modulo counting on finitary graphs
par: Adler, Isolde, et autres
Publié: (2026)

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
par: Hellwig, Jonathan, et autres
Publié: (2025)

Locality in Residuated-Lattice Structures
par: Carr, James
Publié: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
par: Coniglio, M. E., et autres
Publié: (2026)

Left-Linear Rewriting in Adhesive Categories
par: Baldan, Paolo, et autres
Publié: (2024)

A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL
par: Schmoetten, Richard, et autres
Publié: (2024)

Truth Predicate of Inductive Definitions and Logical Complexity of Infinite-Descent Proofs
par: Ito, Sohei, et autres
Publié: (2026)

Robust Computation Tree Logic
par: Nayak, Satya Prakash, et autres
Publié: (2022)

A Fibrational Perspective on Differential Linear Logic
par: Koleilat, Jad
Publié: (2026)

A Unified Gentzen-style Framework for Until-free LTL
par: Kamide, Norihiro, et autres
Publié: (2024)