2009-06-16 "What is a non-truth-functional logic?"(Joao Marcos) 研究集会 logic 話者はブラジルの矛盾許容論理の人。非常に面白い話でした。(後で追加します)