Analytic Calculi for Projective Logics

This publication has 8 references indexed in Scilit:

• Metamathematics of Fuzzy Logic
  Published by Springer Nature ,1998
• MUltlog 1.0: Towards an expert system for many-valued logics
  Published by Springer Nature ,1996
• Resolution-based Theorem Proving for Many-valued Logics
  Journal of Symbolic Computation, 1995
• Hypersequents, logical consequence and intermediate logics for concurrency
  Annals of Mathematics and Artificial Intelligence, 1991
• Proof Theory
  Published by Springer Nature ,1977
• Sequents in many valued logic I
  Fundamenta Mathematicae, 1967
• Notice 1960 International Congress for Logic, Methodology and Philosophy of Science
  The Journal of Symbolic Logic, 1959
• Untersuchungen ber das logische Schlie en. I
  Mathematische Zeitschrift, 1935