Mojtaba Aghaei

2003
3	EE	Mojtaba Aghaei, Mohammad Ardeshir: A Gentzen-style axiomatization for basic predicate calculus. Arch. Math. Log. 42(3): 245-259 (2003)
2001
2		Mojtaba Aghaei, Mohammad Ardeshir: Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic. Studia Logica 68(2): 263-285 (2001)
2000
1	EE	Mojtaba Aghaei, Mohammad Ardeshir: A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic. Math. Log. Q. 46(2): 199-206 (2000)

Coauthor Index

1

Mohammad Ardeshir

[1] [2] [3]