Cover Image

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Almeida, Rodrigo Nicolau, Ghilardi, Silvio
Format:	Preprint
Published:	2024
Subjects:	Logic Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
by: Almeida, Rodrigo Nicolau
Published: (2023)

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

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
by: Zhuk, Dmitriy
Published: (2024)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

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

Embedded Finite Models Beyond Restricted Quantifier Collapse
by: Benedikt, Michael, et al.
Published: (2023)

Simple Classes of Automatic Structures
by: Blumensath, Achim
Published: (2025)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
by: Traversié, Thomas
Published: (2024)

One is all you need: Second-order Unification without First-order Variables
by: Cerna, David M., et al.
Published: (2024)

Schematic Unification
by: Cerna, David M.
Published: (2023)

Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
by: Traversié, Thomas
Published: (2024)

Regular Typed Unification
by: Barbosa, João, et al.
Published: (2024)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
by: Blot, Valentin, et al.
Published: (2024)

Unification in Matching Logic -- Revisited
by: Kurucz, Ádám, et al.
Published: (2024)

Admissibility of Substitution Rule in Cyclic-Proof Systems
by: Saotome, Kenji, et al.
Published: (2025)

An essentially algebraic glance to Kripke semantics: the S5 case
by: De Berardinis, Matteo, et al.
Published: (2025)

A Proof Theory for Profinite Modal Algebras
by: De Berardinis, Matteo, et al.
Published: (2025)

Profiniteness, Monadicity and Universal Models in Modal Logic
by: De Berardinis, Matteo, et al.
Published: (2023)

On Problems Dual to Unification: The String-Rewriting Case
by: Akçam, Zümrüt, et al.
Published: (2021)

Finite Variable Counting Logics with Restricted Requantification
by: Raßmann, Simon, et al.
Published: (2024)

Uniform Local Tabularity in Intuitionistic Logic
by: Almeida, Rodrigo Nicolau
Published: (2026)

Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)

Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)

Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse $Π$, Craig Interpolation and Beth Definability
by: Guelev, Dimitar P.
Published: (2025)

Unification of Deterministic Higher-Order Patterns (Full Version)
by: Niederhauser, Johannes, et al.
Published: (2026)

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders
by: Fernández, Maribel, et al.
Published: (2025)

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)
by: Borgwardt, Stefan, et al.
Published: (2024)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
by: Ken, Eitetsu, et al.
Published: (2024)

Proofs that Modify Proofs, 1/2
by: Towsner, Henry
Published: (2025)

Superposition with Delayed Unification
by: Bhayat, Ahmed, et al.
Published: (2024)

Structural Completeness in bi-IPC
by: Almeida, Rodrigo Nicolau, et al.
Published: (2025)

Sharing and Linear Logic with Restricted Access (Extended Version)
by: Barenbaum, Pablo, et al.
Published: (2025)

The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories
by: Baader, Franz, et al.
Published: (2026)

Induction rules for Transition Algebra
by: Hashimoto, Go
Published: (2026)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
by: Suzuki, Yudai, et al.
Published: (2024)

A new introduction rule for disjunction
by: Díaz-Caro, Alejandro, et al.
Published: (2025)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
by: Baader, Franz, et al.
Published: (2025)

Deciding Termination of Simple Randomized Loops
by: Meyer, Éléanore, et al.
Published: (2025)

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)