Nazanin Tavana

According to our database, Nazanin Tavana authored at least 9 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Some Model Theoretic Properties for Pavelka-Style Gödel Logic, RGL* and Gödel Logic with Δ.

Nazanin Roshandel Tavana

Axioms, September, 2024

The Craig interpolation property in first-order Gödel logic.

Nazanin Tavana, Massoud Pourmahdian, Seyed Amin Khatami

Fuzzy Sets Syst., 2024

2021

A recursion theoretic foundation of computation over real numbers.

Keng Meng Ng, Nazanin Roshandel Tavana, Yue Yang

J. Log. Comput., 2021

2016

From rational Gödel logic to ultrametric logic.

Seyed Amin Khatami, Massoud Pourmahdian, Nazanin Roshandel Tavana

J. Log. Comput., 2016

2015

Effective metric model theory.

Massoud Pourmahdian, Nazanin Tavana, Farzad Didehvar

Math. Struct. Comput. Sci., 2015

2014

Representations of measurable sets in computable measure theory.

Klaus Weihrauch, Nazanin Roshandel Tavana

Log. Methods Comput. Sci., 2014

2013

Compactness in first-order Gödel logics.

Massoud Pourmahdian, Nazanin Tavana

J. Log. Comput., 2013

2012

Compactness in first order Łukasiewicz logic.

Nazanin Tavana, Massoud Pourmahdian, Farzad Didehvar

Log. J. IGPL, 2012

2011

Turing machines on represented sets, a model of computation for Analysis

Nazanin Tavana, Klaus Weihrauch

Log. Methods Comput. Sci., 2011