Slanted canonicity of analytic inductive inequalities

Unpublished conference/Abstract (Scientific congresses and symposiums)

De Rudder, Laurent

2020 • Algebra|coalgebra seminar

Permalink
https://hdl.handle.net/2268/256273

DeRudderILLCFinal.pdf

Author preprint (299.4 kB)

All documents in ORBi are protected by a user license.

Keywords :

Slanted algebra; Canonicity; LE Logic

Disciplines :

Mathematics

Author, co-author :

De Rudder, Laurent ; Université de Liège - ULiège > Département de mathématique > Département de mathématique

Language :

English

Title :

Slanted canonicity of analytic inductive inequalities

Publication date :

June 2020

Event name :

Algebra|coalgebra seminar

Event date :

Juin 2020

By request :

Yes

Audience :

International

Available on ORBi :

since 01 February 2021

Number of views

28 (2 by ULiège)

Number of downloads

38 (2 by ULiège)