Algebraic Proof Theory for LE-logics

Article Properties
  • Language
    English
  • DOI (url)
    10.1145/3632526
  • Publication Date
    2024/01/17
  • Journal
    ACM Transactions on Computational Logic
  • Indian UGC (journal)
  • Refrences
    66
  • Giuseppe Greco School of Business and Economics, Vrije Universiteit Amsterdam, The Netherlands ORCID (unauthenticated)
  • Peter Jipsen Faculty of Mathematics, Chapman University, USA ORCID (unauthenticated)
  • Fei Liang School of Philosophy and Social Development, Shandong University, China and Institute of Logic and Cognition, Sun Yat-Sen University, China ORCID (unauthenticated)
  • Alessandra Palmigiano School of Business and Economics, Vrije Universiteit Amsterdam, The Netherlands and Department of Mathematics and Applied Mathematics, University of Johannesburg, South Africa ORCID (unauthenticated)
  • Apostolos Tzimoulis School of Business and Economics, Vrije Universiteit Amsterdam, The Netherlands and Institute of Logic and Cognition, Sun Yat-Sen University, China ORCID (unauthenticated)
Abstract
Cite
Greco, Giuseppe, et al. “Algebraic Proof Theory for LE-Logics”. ACM Transactions on Computational Logic, vol. 25, no. 1, 2024, pp. 1-37, https://doi.org/10.1145/3632526.
Greco, G., Jipsen, P., Liang, F., Palmigiano, A., & Tzimoulis, A. (2024). Algebraic Proof Theory for LE-logics. ACM Transactions on Computational Logic, 25(1), 1-37. https://doi.org/10.1145/3632526
Greco, Giuseppe, Peter Jipsen, Fei Liang, Alessandra Palmigiano, and Apostolos Tzimoulis. “Algebraic Proof Theory for LE-Logics”. ACM Transactions on Computational Logic 25, no. 1 (2024): 1-37. https://doi.org/10.1145/3632526.
Greco G, Jipsen P, Liang F, Palmigiano A, Tzimoulis A. Algebraic Proof Theory for LE-logics. ACM Transactions on Computational Logic. 2024;25(1):1-37.
Journal Categories
Science
Mathematics
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Syntactic Completeness of Proper Display Calculi

 ACM Transactions on Computational Logic
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 3 2022
Constructive canonicity of inductive inequalities 2020
Vector spaces as Kripke frames 2020
10.1007/978-3-662-59533-6_9 2019
Unified correspondence as a proof-theoretic tool 2018