Logical and computational aspects of the demonstration method using formal polynom...
Logics of formal inconsistency with replacement: An algebraic and proof-theoreti...
Non-deterministic matrices: theory and applications to algebraic semantics
Arbitrariness and genericity: or on how to speak of the unspeakable