:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Craig, Andrew, Robinson, Claudette
Format:	Preprint
Publié:	2023
Sujets:	Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2310.12935
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Contractions of quasi relation algebras and applications to representability
par: Craig, Andrew, et autres
Publié: (2026)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
par: Craig, Andrew, et autres
Publié: (2025)

Pregroup representable expansions of residuated lattices
par: Craig, Andrew, et autres
Publié: (2026)

Representable distributive quasi relation algebras
par: Craig, Andrew, et autres
Publié: (2023)

Representability for distributive quasi relation algebras via nested sums
par: Craig, Andrew, et autres
Publié: (2025)

Finding Photonics Circuits via $δ$-weakening SMT
par: Lewis, Marco, et autres
Publié: (2025)

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

Solving promise equations over monoids and groups
par: Larrauri, Alberto, et autres
Publié: (2024)

Unbiasing symmetric monoidal categories in Lean
par: Carlier, Robin
Publié: (2026)

Monoidal categories graded by partial commutative monoids
par: Earnshaw, Matthew, et autres
Publié: (2026)

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
par: Goncharov, Sergey
Publié: (2024)

Categorical Proof-Theoretic Semantics
par: Pym, David, et autres
Publié: (2023)

Intrinsic and relative characterization results for logics with negative modalities
par: de Groot, Jim, et autres
Publié: (2025)

A logic of judgmental existence and its relation to proof irrelevance
par: Pezlar, Ivo
Publié: (2024)

The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
par: Higuchi, Joaquim Reizi
Publié: (2026)

A Theory of Formalisms for Representing Knowledge
par: Zhang, Heng, et autres
Publié: (2024)

Representing Pedagogic Content Knowledge Through Rough Sets
par: Mani, A
Publié: (2024)

A bialgebraic characterization of symmetric powers in $\mathbb{Q}_{\ge 0}$-linear symmetric monoidal categories
par: Vienney, Jean-Baptiste
Publié: (2023)

Defining implication relation for classical logic
par: Fu, Li
Publié: (2013)

Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
par: Benedikt, Michael, et autres
Publié: (2022)

Cauchy-completions and the rule of unique choice in relational doctrines
par: Dagnino, Francesco, et autres
Publié: (2024)

Generalized Decidability via Brouwer Trees
par: de Jong, Tom, et autres
Publié: (2026)

Incompleteness theorems via Turing category
par: Savelyev, Yasha
Publié: (2024)

Cyclic Proofs for iGL via Corecursion
par: Miranda, Borja Sierra
Publié: (2023)

Basis-Sensitive Quantum Typing via Realisability
par: Díaz-Caro, Alejandro, et autres
Publié: (2025)

Intuitionistic monotone modal logic via translation
par: de Groot, Jim
Publié: (2025)

Consistent Update Synthesis via Privatized Beliefs
par: Schlögl, Thomas, et autres
Publié: (2024)

A categorical formulation of Kraus' paradox
par: Swan, Andrew W.
Publié: (2024)

Oracle modalities
par: Swan, Andrew W
Publié: (2024)

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

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
par: Hansen, Helle Hvid, et autres
Publié: (2025)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
par: Lyon, Tim S.
Publié: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
par: Das, Anupam, et autres
Publié: (2024)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
par: Lyon, Tim S., et autres
Publié: (2026)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
par: Mannucci, Mirco A., et autres
Publié: (2025)

On the horizontal compression of dag-derivations in minimal purely implicational logic
par: Haeusler, Edward Hermann, et autres
Publié: (2022)

The calculus of neo-Peircean relations
par: Bonchi, Filippo, et autres
Publié: (2025)

Completeness of Relational Algebra via Cylindric Algebra
par: Laštovička, Jan
Publié: (2026)

Representing Knowledge and Querying Data using Double-Functorial Semantics
par: Lambert, Michael, et autres
Publié: (2024)