Mojtaba Aghaei

	2003
3		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		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]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page