Witnessing flows in arithmetic von Akbar Tabatabai, Amirhossein

Volltext

On Geometric Implications von Akbar Tabatabai, Amirhossein

Volltext

Uniform lyndon interpolation for basic non-normal modal and conditional logics von Akbar Tabatabai, Amirhossein, Iemhoff, Rosalie, Jalali, Raheleh

Volltext

Universal proof theory: Feasible admissibility in intuitionistic modal logics von Akbar Tabatabai, Amirhossein, Jalali, Raheleh

Volltext

On a Generalization of Heyting Algebras I von Akbar Tabatabai, Amirhossein, Alizadeh, Majid, Memarzadeh, Masoud

Volltext

Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic von Akbar Tabatabai, Amirhossein

Volltext

Uniform Lyndon Interpolation for Basic Non-normal Modal Logics von Akbar Tabatabai, Amirhossein, Iemhoff, Rosalie, Jalali, Raheleh

Volltext

Universal proof theory: Semi-analytic rules and Craig interpolation von Tabatabai, Amirhossein Akbar, Jalali, Raheleh

Volltext

On Geometric Implications von Tabatabai, Amirhossein Akbar

Volltext

Witnessing Flows in Arithmetic von Tabatabai, Amirhossein Akbar

Volltext

On a Generalization of Heyting Algebras I von Amirhossein Akbar Tabatabai, Alizadeh, Majid, Memarzadeh, Masoud

Volltext

An Introduction to Categorical Proof Theory von Tabatabai, Amirhossein Akbar

Volltext bestellen

On a Generalization of Heyting Algebras II von Tabatabai, Amirhossein Akbar, Alizadeh, Majid, Memarzadeh, Masoud

Volltext bestellen

Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics von Tabatabai, Amirhossein Akbar, Jalali, Raheleh

Volltext bestellen

An Introduction to Categorical Proof Theory von Amirhossein Akbar Tabatabai

Volltext

Implication via Spacetime von Tabatabai, Amirhossein Akbar

Volltext bestellen

Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics von Tabatabai, Amirhossein Akbar, Iemhoff, Rosalie, Jalali, Raheleh

Volltext bestellen

Uniform Lyndon interpolation for intuitionistic monotone modal logic von Tabatabai, Amirhossein Akbar, Iemhoff, Rosalie, Jalali, Raheleh

Volltext bestellen

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation von Amirhossein Akbar Tabatabai, Jalali, Raheleh

Volltext

Computational Flows in Arithmetic von Tabatabai, Amirhossein Akbar

Volltext bestellen