Cover Image

Algebraic proof theory for LE-logics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Greco, Giuseppe, Jipsen, Peter, Liang, Fei, Palmigiano, Alessandra, Tzimoulis, Apostolos
Format:	Preprint
Published:	2018
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Modular constructive Lyndon interpolation for nondistributive logics
by: De Domenico, Andrea, et al.
Published: (2026)

A proof-theoretic approach to abstract interpretation
by: D'Silva, Vijay, et al.
Published: (2026)

Unified inverse correspondence for LE-logics
by: Palmigiano, Alessandra, et al.
Published: (2024)

Generating proof systems for three-valued propositional logics
by: Greati, Vitor, et al.
Published: (2024)

Questions as cognitive filters
by: Conradie, Willem, et al.
Published: (2025)

Refutation calculi for lattice-based logics: from display to tableaux
by: De Domenico, Andrea, et al.
Published: (2026)

Inception Display Calculi
by: De Domenico, Andrea, et al.
Published: (2026)

Normative implications
by: De Domenico, Andrea, et al.
Published: (2025)

Labelled calculi for the logics of rough concepts
by: van der Berg, Ineke, et al.
Published: (2024)

Non-distributive description logic
by: van der Berg, Ineke, et al.
Published: (2023)

Labelled calculi for lattice-based modal logics
by: van der Berg, Ineke, et al.
Published: (2024)

Canonical Extensions of Quantale-Enriched Categories
by: Kurz, Alexander, et al.
Published: (2026)

Obligations and permissions on selfextensional logics
by: De Domenico, Andrea, et al.
Published: (2024)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

The proof theory and semantics of second-order (intuitionistic) tense logic
by: Becker, Justus, et al.
Published: (2026)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
by: Craig, Andrew, et al.
Published: (2025)

Game semantics for lattice-based modal μ-calculus
by: Ding, Yiwen, et al.
Published: (2023)

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

On structural proof theory of the modal logic K+ extended with infinitary derivations
by: Shamkanov, Daniyar
Published: (2023)

Modal reduction principles: a parametric shift to graphs
by: Conradie, Willem, et al.
Published: (2024)

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
by: Alpay, Natanael, et al.
Published: (2022)

A logic of judgmental existence and its relation to proof irrelevance
by: Pezlar, Ivo
Published: (2024)

A linear proof language for second-order intuitionistic linear logic
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

Sundholm's explanation of meaning: logical atavism and the nature of proofs
by: d'Aragona, Antonio Piccolomini
Published: (2025)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
by: Oda, Yukihiro, et al.
Published: (2021)

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

Analytic proofs for logics of evidence and truth
by: Carnielli, Walter, et al.
Published: (2024)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
by: Santo, José Espírito, et al.
Published: (2020)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
by: d'Aragona, Antonio Piccolomini
Published: (2025)

On the structure of balanced residuated partially ordered monoids
by: Bonzio, Stefano, et al.
Published: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
by: Oda, Yukihiro
Published: (2025)

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

Obligations and permissions, algebraically
by: De Domenico, Andrea, et al.
Published: (2024)

The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)

Flexible categorization using formal concept analysis and Dempster-Shafer theory
by: Boersma, Marcel, et al.
Published: (2024)

A syntactic proof of decidability for the logic of bunched implication BI
by: Ramanayake, Revantha
Published: (2016)

Birkhoff style proof systems for hybrid-dynamic quantum logic
by: Gaina, Daniel
Published: (2024)

Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK
by: Balbiani, Philippe, et al.
Published: (2025)

A proof theory of right-linear (omega-)grammars via cyclic proofs
by: Das, Anupam, et al.
Published: (2024)