1. Polynomial Ring Calculus for Modal Logics: a new semantics and proof method for modalities;Agudelo;The Review of Symbolic Logic,2011
2. Non-deterministic Semantics for Logics with a Consistency Operator;Avron;Journal of Approximate Reasoning.,2007
3. Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi;Bimbó,2008
4. Possible-translations semantics for paraconsistent logics;Carnielli,1998
5. A polynomial proof system for Łukasiewicz logics;Carnielli;Second Principia International Symposium,2001