Copertina

Reasoning from hypotheses in *-continuous action lattices

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kuznetsov, Stepan L., Pshenitsyn, Tikhon, Speranski, Stanislav O.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic 03B47
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Probabilistic consequence relations
di: Égré, Paul, et al.
Pubblicazione: (2024)

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

Generalized explosion principles
di: Basu, Sankha S., et al.
Pubblicazione: (2023)

First-Order Implication-Space Semantics
di: Hlobil, Ulf
Pubblicazione: (2026)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
di: Pshenitsyn, Tikhon
Pubblicazione: (2023)

Extending Action Logic with Omega Iteration
di: Pshenitsyn, Tikhon
Pubblicazione: (2025)

Connexive implications in Substructural Logics
di: Fazio, Davide, et al.
Pubblicazione: (2022)

Rule-Elimination Theorems
di: Roy, Sayantan
Pubblicazione: (2024)

Quantitative Linear Logic
di: Capucci, Matteo, et al.
Pubblicazione: (2026)

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

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

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

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

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

Revisiting Interpolation in Relevant Logics
di: Fussner, Wesley, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

Representable distributive quasi relation algebras
di: Craig, Andrew, et al.
Pubblicazione: (2023)

Undecidability in Relevant Logic
di: Knudstorp, Søren Brinck
Pubblicazione: (2026)

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

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

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

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

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

A propositional cirquent calculus for computability logic
di: Japaridze, Giorgi
Pubblicazione: (2024)

Interpolation and the Exchange Rule
di: Fussner, Wesley, et al.
Pubblicazione: (2023)

Thoughts on sub-Turing interactive computability
di: Japaridze, Giorgi
Pubblicazione: (2024)

Modal Semantics for Reasoning with Probability and Uncertainty
di: Guallart, Nino
Pubblicazione: (2024)

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

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

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

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

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

A note on continuous functions on metric spaces
di: Sanders, Sam
Pubblicazione: (2024)