Category:Publications by Stefano Aguzzoli

Pages in category "Publications by Stefano Aguzzoli"

The following 6 pages are in this category, out of 6 total.

A

• A temporal semantics for Basic Logic
• Algebraic and Proof-Theoretic Aspects of Non-Classical Logics

C

• Complexity issues in Basic Logic

F

• Finite-valued reductions of infinite-valued logics

G

• Godel algebras free over finite distributive lattices

N

• Normal forms and free algebras for some extensions of MTL