Open AccessCounterfactual logic: labelled and internal calculi, two sides of the same coin?
Author(s) -
Marianna Girlando,
Nicola Olivetti,
Sara Negri
Publication year - 2018
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - sequent calculus , calculus (dental) , natural deduction , mathematics , proof calculus , situation calculus , cut elimination theorem , modal logic , propositional calculus , sequent , curry–howard correspondence , logical equivalence , algebra over a field , discrete mathematics , computer science , pure mathematics , modal , mathematical proof , equivalence (formal languages) , medicine , chemistry , geometry , dentistry , polymer chemistry , programming language