[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
Avron, Arnon, Konikowska, Beata, Zamansky, AnnaYear:
2012
Language:
english
DOI:
10.1109/LICS.2012.20
File:
PDF, 273 KB
english, 2012