The following pages link to Mojtaba Aghaei (Q227771):
Displaying 5 items.
- A Gentzen-style axiomatization for basic predicate calculus (Q1407590) (← links)
- Combinatorial unprovability proofs and their model-theoretic counterparts (Q2452679) (← links)
- A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic (Q4487246) (← links)
- Gentzen-style axiomatizations for some conservative extensions of Basic Propositional Logic (Q5954710) (← links)
- Rooted hypersequent calculus for modal logic \textsf{S5} (Q6054106) (← links)
