Cover Image

Relevant Consequence Relations: An Invitation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Badia, Guillermo, Cintula, Petr, Behounek, Libor, Tedder, Andrew
Format:	Preprint
Published:	2022
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Superabelian logics
by: Cintula, Petr, et al.
Published: (2024)

One-variable fragments of first-order logics
by: Cintula, Petr, et al.
Published: (2023)

New foundations of reasoning via real-valued first-order logics
by: Badia, Guillermo, et al.
Published: (2022)

Asymptotic truth-value laws in many-valued logics
by: Badia, Guillermo, et al.
Published: (2023)

Logical Characterizations of Weighted Complexity Classes
by: Badia, Guillermo, et al.
Published: (2024)

Codd's Theorem for Databases over Semirings
by: Badia, Guillermo, et al.
Published: (2025)

A modular bisimulation characterisation for fragments of hybrid logic
by: Badia, Guillermo, et al.
Published: (2023)

Sequence and Consequence
by: Dorr, Cian, et al.
Published: (2024)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
by: Olkhovikov, Grigory K., et al.
Published: (2022)

First-order friendliness
by: Badia, Guillermo, et al.
Published: (2022)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
by: Ayhan, Sara
Published: (2025)

Hybrid-Dynamic Ehrenfeucht-Fraisse Games
by: Badia, Guillermo, et al.
Published: (2024)

Inferentialism and Relevance: The Case of Connexivity
by: Damian Szmuc
Published: (2021)

Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms
by: Barto, Libor, et al.
Published: (2024)

Hyper-u-amenablity and Hyperfiniteness of Treeable Equivalence Relations
by: Naryshkin, Petr, et al.
Published: (2025)

Fagin's Theorem for Semiring Turing Machines
by: Badia, Guillermo, et al.
Published: (2025)

Consequences of Dependent Dividing on Burden
by: Takahashi, Yuki
Published: (2025)

A concise proof of Commoner's theorem
by: Jancar, Petr
Published: (2024)

The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems
by: Barto, Libor, et al.
Published: (2024)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
by: Hartonas, Chrysafis
Published: (2021)

Finitely (In)tractable Promise Constraint Satisfaction Problems
by: Asimi, Kristina, et al.
Published: (2020)

The Relational Quotient Completion
by: Dagnino, Francesco, et al.
Published: (2024)

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Demystifying $μ$
by: Afshari, Bahareh, et al.
Published: (2024)

On the Home-Space Problem for Petri Nets and its Ackermannian Complexity
by: Jančar, Petr, et al.
Published: (2022)

Structural Liveness of Immediate Observation Petri Nets
by: Jancar, Petr, et al.
Published: (2021)

Verifying SQL Queries using Theories of Tables and Relations
by: Mohamed, Mudathir, et al.
Published: (2024)

Relating forcing relations
by: Smykalla, Michel Viana, et al.
Published: (2026)

Relational Companions of Logics
by: Basu, Sankha S., et al.
Published: (2024)

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems
by: Barto, Libor, et al.
Published: (2026)

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras
by: Barto, Libor, et al.
Published: (2021)

Cardinality and Representation of Stone Relation Algebras
by: Furusawa, Hitoshi, et al.
Published: (2023)

Transductions of Graph Classes Admitting Product Structure
by: Hliněný, Petr, et al.
Published: (2025)

Structural Liveness of Conservative Petri Nets
by: Jančar, Petr, et al.
Published: (2025)

A categorical formulation of Kraus' paradox
by: Swan, Andrew W.
Published: (2024)

Oracle modalities
by: Swan, Andrew W
Published: (2024)