Nazanin Tavana

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 2

Top Topics

Quantifier Free

Predicate Calculus

Sound And Complete With Respect

Logical Theories

Top Venues

Math. Struct. Comput. Sci.

Fuzzy Sets Syst.

Publications

Nazanin Tavana, Massoud Pourmahdian, Seyed Amin Khatami
The Craig interpolation property in first-order Gödel logic. Fuzzy Sets Syst. 485 (2024)
Massoud Pourmahdian, Nazanin Tavana, Farzad Didehvar
Effective metric model theory. Math. Struct. Comput. Sci. 25 (8) (2015)
Massoud Pourmahdian, Nazanin Tavana
Compactness in first-order Gödel logics. J. Log. Comput. 23 (3) (2013)
Nazanin Tavana, Massoud Pourmahdian, Farzad Didehvar
Compactness in first order Łukasiewicz logic. Log. J. IGPL 20 (1) (2012)
Nazanin Tavana, Klaus Weihrauch
Turing machines on represented sets, a model of computation for Analysis Log. Methods Comput. Sci. 7 (2) (2011)