Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case

Interpolation in local theory extensions

Intersection Logic in sequent calculus style

Intersection Types and Lambda Theories

Intersection types for unbind and rebind

Interval Neutrosophic Logics: Theory and Applications

Interval Neutrosophic Sets and Logic: Theory and Applications in Computing

Introduction to clarithmetic I

Introduction to clarithmetic II

Introduction to clarithmetic III

Introduction to linear logic and ludics, part I

Introduction to linear logic and ludics, part II

Intuitionistic Completeness of First-Order Logic

Intuitionistic computability logic

Investigations on a Pedagogical Calculus of Constructions

Involutive Categories and Monoids, with a GNS-correspondence

IO vs OI in Higher-Order Recursion Schemes

Is it a "Good" Encoding of Mixed Choice? (Technical Report)

Is Ramsey's theorem omega-automatic?

Isabelle/PIDE as Platform for Educational Tools