Author:
Alizadeh Majid,Ardeshir Mohammad
Publisher
Springer Science and Business Media LLC
Reference9 articles.
1. Aghaei M., Ardeshir M. (2001) Gentzen-style axiomatizations for some conservative extensions of basic propositional logic. Sudia Logica 68, 263–285
2. Alizadeh M., Ardeshir M. (2004) On the linear Lindenbaum algebra of basic propositional logic. Mathe. Log. Q. 50, 65–70
3. Ardeshir, M. Aspects of basic logic. PhD thesis, Department of Mathematics, Statistics and Computer Science, Marquette University (1995)
4. Ardeshir M., Ruitenburg W. (1998) Basic propositional calculus I. Math. Log. Q. 44, 317–343
5. Ardeshir M., Ruitenburg W. (2001) Basic propositional calculus II, interpolation. Arch. Math. Log. 40, 349–384
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Implication via Spacetime;Logic, Epistemology, and the Unity of Science;2021
2. Residuated Expansions of Lattice-Ordered Structures;Logic, Epistemology, and the Unity of Science;2021
3. On PBZ$$^{*}$$–Lattices;Logic, Epistemology, and the Unity of Science;2021
4. Proof-Theoretic Embedding from Visser’s Basic Propositional Logic to Modal Logic K4 via Non-labelled Sequent Calculi;Philosophical Logic: Current Trends in Asia;2017
5. On Lob algebras, II;Logic Journal of IGPL;2011-04-26