Interpolation properties for first-order Gödel logics


Project Acronym Projekt Kurzbezeichnung
First Order
 
Project Title (de) Projekttitel (de)
Interpolation properties for first-order Gödel logics
 
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in
 
Status
IN PROGRESS