„sequent calculi“

Suchergebnisse

1.000+ Treffer

• Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
• Sequent Calculi for Choice Logics
  Bernreiter, Michael ; Lolic, Anela ; Maly, Jan ; Woltran, Stefan
• Constructive Cut Elimination in Geometric Logic
  Fellin, Giulio ; Negri, Sara ; Orlandelli, Eugenio 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Methodology for Designing Proof Search Calculi for Non-Classical Logics (Invited Talk)
  Tiu, Alwen 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents
  Lyon, Timothy ; Tiu, Alwen ; Goré, Rajeev ; Clouston, Ranald 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Annotation-Free Sequent Calculi for Full Intuitionistic Linear Logic
  Clouston, Ranald ; Dawson, Jeremy ; Goré, Rajeev ; Tiu, Alwen 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Normalisation for Dynamic Pattern Calculi
  Bonelli, Eduardo ; Kesner, Delia ; Lombardi, Carlos ; Rios, Alejandro 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• G3-style Sequent Calculi for Gurevich Logic and Its Neighbors
  Kamide, Norihiro ; Negri, Sara
• Deriving inference rules for description logics – a rewriting approach into sequent calculi
  Royer, Véronique ; Quantz, Joachim 1993 TU, Fachbereich 13, Projektgruppe KIT
• Sequent Calculi for First-order $$\textrm{ST}$$ ST
  Paoli, Francesco ; Přenosil, Adam
• Full first order sequent and tableau calculi with preservation of solutions and the liberalized Δ-rule [delta-rule] but without skolemization
  Wirth, Claus-Peter 1998 Dekanat Informatik, Univ.
• Sequent calculi for propositional star-free likelihood logic
  Alonderis, R.
• Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics
  Milnikel, Robert Saxon
• L-domains as locally continuous sequent calculi
  Wang, Longchun ; Li, Qingguo
• Cut-free sequent calculi for some tense logics
  Kashima, Ryo
• A note on sequent calculi intermediate between LJ and LK
  Boričić, Branislav R.
• New sequent calculi for Visser's Formal Propositional Logic
  Ishii, Katsumasa
• Sequent Calculi with Analytic Cut for Logics of Time and Knowledge with Perfect Recall
  Sakalauskaitė, J.
• Sequent Calculi and Decision Procedures for Weak Modal Systems
  Lavendhomme, René ; Lucas, Thierry
• Sequent Calculi and Bidirectional Natural Deduction – On the Proper Basis of Proof-theoretic Semantics
  Schroeder-Heister, Peter 2009 Universitätsbibliothek Tübingen