Título: Squares in Fork Arrow LogicAutor: Renata Pereira de FreitasAno: 2003Revista: Journal of Philosophical LogicISSN: 00223611Tags: Arrow LogicFork arrow logicFork squaresAxiomatizationIdioma: Inglês