Concepedia

Joan Gispert i Brasó

JG

Statistics

Publications

2

Citations

59

H-Index

2

Active since

1999

Affiliations

University of Milan(Current)

Joan Gispert i Brasó is an author at University of Milan specializing in automated reasoning, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsAutomated Reasoning

Publications per year

1999–2003

2

Publications

2

Axiomatic Extensions of the Milpotent Minimum Logic.

Joan Gispert i Brasó · Reports on Mathematical Logic · 2003 · 42 citations

Non-classical Logic, Engineering, Substructural Logic +4

Ultraproducts of Z with an Application to Many-Valued Logics

Joan Gispert i Brasó, Daniele Mundici, Antoni Torrell · Journal of Algebra · 1999 · 17 citations

Applied Logic, Computational Logic, Engineering +4

Rows per page

1–2 of 2