Buchumschlag

Complexity of Nonassociative Lambek Calculus with classical logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Płaczek, Paweł
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Computational Complexity F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Deducibility in the full Lambek calculus with weakening is HAck-complete
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Relational Models for the Lambek Calculus with Intersection and Constants
von: Kuznetsov, Stepan L.
Veröffentlicht: (2022)

Semi-Substructural Logics à la Lambek
von: Wan, Cheng-Syuan
Veröffentlicht: (2024)

Truth Predicate of Inductive Definitions and Logical Complexity of Infinite-Descent Proofs
von: Ito, Sohei, et al.
Veröffentlicht: (2026)

New Bounds for the Ideal Proof System in Positive Characteristic
von: Behera, Amik Raj, et al.
Veröffentlicht: (2025)

On the Complexity of the Numerically Definite Syllogistic and Related Fragments
von: Pratt-Hartmann, Ian
Veröffentlicht: (2007)

Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
von: Pratt-Hartmann, Ian
Veröffentlicht: (2008)

Conjunctive categorial grammars and Lambek grammars with additives
von: Kuznetsov, Stepan L., et al.
Veröffentlicht: (2024)

Hypersequent Calculi Have Ackermannian Complexity
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2026)

A Theory for Probabilistic Polynomial-Time Reasoning
von: Chen, Lijie, et al.
Veröffentlicht: (2026)

What If Turing Had Preceded Gödel?
von: Oberhoff, Sebastian
Veröffentlicht: (2024)

Structure-Guided Automated Reasoning
von: Bannach, Max, et al.
Veröffentlicht: (2023)

Satisfiability in Łukasiewicz logic and its unbounded relative
von: Haniková, Zuzana, et al.
Veröffentlicht: (2025)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
von: Becker, Justus
Veröffentlicht: (2025)

Set Theory in the Foundation of Math; Internal Classes and External Sets
von: Levin, Leonid A.
Veröffentlicht: (2022)

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
von: Kazakov, Yevgeny, et al.
Veröffentlicht: (2009)

On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus
von: Waldmann, Uwe
Veröffentlicht: (2024)

An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus
von: Nederpelt, Rob, et al.
Veröffentlicht: (2026)

Polynomial-time Tractable Problems over the $p$-adic Numbers
von: Fehm, Arno, et al.
Veröffentlicht: (2025)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
von: Santo, José Espírito, et al.
Veröffentlicht: (2020)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
von: Coniglio, M. E., et al.
Veröffentlicht: (2026)

On the Satisfaction Probabilities of $k$-CNF Formulas
von: Tantau, Till
Veröffentlicht: (2022)

On the existence of strong proof complexity generators
von: Krajicek, Jan
Veröffentlicht: (2022)

Semantics out of context: nominal absolute denotations for first-order logic and computation
von: Gabbay, Murdoch J.
Veröffentlicht: (2013)

Constant time testability of first-order logic with modulo counting on finitary graphs
von: Adler, Isolde, et al.
Veröffentlicht: (2026)

The Lambda Calculus is Quantifiable
von: Maestracci, Valentin, et al.
Veröffentlicht: (2024)

Two-Level Type Theory and Applications
von: Annenkov, Danil, et al.
Veröffentlicht: (2017)

Complexity of Łukasiewicz Modal Probabilistic Logics
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2025)

Complexity of some modal logics of density (extended version)
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers
von: Pratt-Hartmann, Ian
Veröffentlicht: (2004)

Logics for the Relational Syllogistic
von: Pratt-Hartmann, Ian, et al.
Veröffentlicht: (2008)

Finite Hilbert systems for Weak Kleene logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Generating proof systems for three-valued propositional logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

A Topological Rewriting of Tarski's Mereogeometry
von: Barlatier, Patrick, et al.
Veröffentlicht: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
von: van der Giessen, Iris, et al.
Veröffentlicht: (2023)

Logic of Sets with Atoms
von: Masters, Jake
Veröffentlicht: (2025)

Cardinality and Representation of Stone Relation Algebras
von: Furusawa, Hitoshi, et al.
Veröffentlicht: (2023)

Computation as a Game
von: Bilokon, Paul Alexander
Veröffentlicht: (2025)

Modal Logics -- RNmatrices vs. Nmatrices
von: Coniglio, Marcelo E., et al.
Veröffentlicht: (2024)

Neural networks as fuzzy logic formulas
von: Heiman, Damian, et al.
Veröffentlicht: (2026)