Cover Image

The Benefits of Diligence

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Arrial, Victor, Guerrieri, Giulio, Kesner, Delia
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Meaningfulness and Genericity in a Subsuming Framework
by: Kesner, Delia, et al.
Published: (2024)

Genericity Through Stratification
by: Arrial, Victor, et al.
Published: (2024)

A Strong Bisimulation for a Classical Term Calculus
by: Bonelli, Eduardo, et al.
Published: (2021)

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
by: Santo, José Espírito, et al.
Published: (2022)

Hybrid Intersection Types for PCF (Extended Version)
by: Barenbaum, Pablo, et al.
Published: (2024)

Useful Evaluation: Syntax and Semantics (Technical Report)
by: Barenbaum, Pablo, et al.
Published: (2024)

Non-wellfounded parsimonious proofs and non-uniform complexity
by: Acclavio, Matteo, et al.
Published: (2024)

Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic
by: Acclavio, Matteo, et al.
Published: (2023)

Extending the Quantitative Pattern-Matching Paradigm
by: Alves, Sandra, et al.
Published: (2024)

Node Replication: Theory And Practice
by: Kesner, Delia, et al.
Published: (2022)

Bilateral base-extension semantics
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

A Fully Abstract Model of PCF Based on Extended Addressing Machines
by: Intrigila, Benedetto, et al.
Published: (2023)

Groups and Inverse Semigroups in Lambda Calculus
by: Bucciarelli, Antonio, et al.
Published: (2026)

Parametric equations for temporal style assertions
by: Yodaiken, Victor
Published: (2016)

Higher-order Kripke models for intuitionistic and non-classical modal logics
by: Barroso-Nascimento, Victor
Published: (2025)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Effects of the Strict-Tolerant Approach on Intuitionistic and Minimal Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)

An ecumenical view of proof-theoretic semantics
by: Nascimento, Victor, et al.
Published: (2023)

Strong Faithfulness for ELH Ontology Embeddings
by: Lacerda, Victor, et al.
Published: (2023)

Interaction Equivalence
by: Accattoli, Beniamino, et al.
Published: (2024)

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

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
by: Afshari, Bahareh, et al.
Published: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

The strength of the dominance rule
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2024)

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Decidability of Quasi-Dense Modal Logics
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)

The subTuring degrees
by: Kihara, Takayuki, et al.
Published: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

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

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
by: De Domenico, Andrea, et al.
Published: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)

Normalisation for Negative Free Logics without and with Definite Descriptions
by: Kürbis, Nils
Published: (2024)

Further remarks on the dual negation in team logics
by: Anttila, Aleksi
Published: (2024)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

First-order Logic with Being a Thesis Modal Operator
by: Łyczak, Marcin
Published: (2024)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
by: Lyon, Tim S., et al.
Published: (2024)