Publisher
Springer Science and Business Media LLC
Reference60 articles.
1. Baader, F., & Snyder, W. (2001). Unification theory, Handbook of automated reasoning: Elsevier.
2. Babenyshev, S., & Rybakov, V.V. (2011). Linear Temporal Logic LTL: Basis for Admissible Rules. Journal of Logic and Computation, 21(2), 157–177.
3. Chagrov, A. (1992). A Decidable Modal Logic with Undecidable Admissibility Problem. Algebra and Logic, 31(1), 53–61. (in Russian).
4. Cintula, P., & Metcalfe, G. (2009). Structural completeness in fuzzy logics. Notre Dame Journal of Formal Logic, 50(2), 153–183.
5. Cintula, P., & Metcalfe, G. Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic, Submitted.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Supervaluationism, Modal Logic, and Weakly Classical Logic;Journal of Philosophical Logic;2024-01-17
2. Logics and admissible rules of constructive set theories;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
3. Complexity of the Universal Theory of Residuated Ordered Groupoids;Journal of Logic, Language and Information;2023-01-13
4. Logic Discovered and Logic Imposed (A Purim Story);Mathematical Knowledge, Objects and Applications;2022-12-08
5. Expressing logical disagreement from within;Synthese;2022-04