:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kuznetsov, Stepan L., Pshenitsyn, Tikhon, Speranski, Stanislav O.
Format:	Preprint
Published:	2024
Subjects:	Logic 03B47
Online Access:	https://arxiv.org/abs/2408.02118
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On syntactic concept lattice models for the Lambek calculus and infinitary action logic
by: Kuznetsov, Stepan L.
Published: (2025)

ST and TS as Product and Sum
by: Blomet, Quentin, et al.
Published: (2024)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
by: Pshenitsyn, Tikhon
Published: (2023)

Extending Action Logic with Omega Iteration
by: Pshenitsyn, Tikhon
Published: (2025)

Probabilistic consequence relations
by: Égré, Paul, et al.
Published: (2024)

On three-valued presentations of classical logic
by: da Ré, Bruno, et al.
Published: (2023)

Generalized explosion principles
by: Basu, Sankha S., et al.
Published: (2023)

First-Order Implication-Space Semantics
by: Hlobil, Ulf
Published: (2026)

Connexive implications in Substructural Logics
by: Fazio, Davide, et al.
Published: (2022)

Quantitative Linear Logic
by: Capucci, Matteo, et al.
Published: (2026)

Rule-Elimination Theorems
by: Roy, Sayantan
Published: (2024)

Residuated lattices do not have the amalgamation property
by: Jipsen, Peter, et al.
Published: (2025)

A diagrammatic proof-theoretic semantics for the Greimas semiotic square
by: Fowler, Michael
Published: (2026)

A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction
by: Wang, Juntao, et al.
Published: (2026)

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

Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)

First-Order Intuitionistic Linear Logic and Hypergraph Languages
by: Pshenitsyn, Tikhon
Published: (2025)

Kurepa trees, continuous images, and perfect set properties
by: Lambie-Hanson, Chris, et al.
Published: (2024)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

Kripke-like models of Set Theory in Modal Residuated Logic
by: Moncayo, Jose, et al.
Published: (2024)

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

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

Representability for distributive quasi relation algebras via nested sums
by: Craig, Andrew, et al.
Published: (2025)

Representable distributive quasi relation algebras
by: Craig, Andrew, et al.
Published: (2023)

Model theory of Hilbert spaces expanded by normal operators
by: Berenstein, Alexander, et al.
Published: (2025)

Undecidability in Relevant Logic
by: Knudstorp, Søren Brinck
Published: (2026)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
by: Japaridze, Giorgi
Published: (2026)

Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)

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

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

On the categoricity of complete second order theories
by: Saarinen, Tapio, et al.
Published: (2024)

Forcing $\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$
by: Hoffelner, Stefan
Published: (2026)

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

Substructural fixed-point theorems and the diagonal argument: theme and variations
by: Roberts, David Michael
Published: (2021)

Hypersequent Calculi Have Ackermannian Complexity
by: Balasubramanian, A. R., et al.
Published: (2026)

Thoughts on sub-Turing interactive computability
by: Japaridze, Giorgi
Published: (2024)

Coherence for logicians
by: Petric, Zoran, et al.
Published: (2024)

Librationism & its classical and extraclassical set theories
by: Bjørdal, Frode A.
Published: (2022)

Descriptive properties of I2-embeddings
by: Dimonte, Vincenzo, et al.
Published: (2023)

Iterated club shooting and the stationary-logic constructible model
by: Ya'ar, Ur
Published: (2022)