Breadcrumb Our Results "Towards a Specification Theory For Paraconsistent Logic" "Towards a specification theory for paraconsistent logic" Image WP 1 - Proj. #3 "Bombas de Calor e Equipamentos de combustão com H2 - Data Analytics" Type of action: Conference abstractYear: 2024Authors: Juliana Cunha, Alexandre Madeira CIDMA, Dep. Mathematics, Aveiro University (Portugal); Luís S. Barbosa INESC TEC & Dep. Informatics, Minho University (Portugal)Link: https://www.math.tecnico.ulisboa.pt/~css/daysinlogic2024/public/DiL2024_abstracts.pdf