at.logic.skeptik.proof

sequent

package sequent

Content Hierarchy Learn more about scaladoc diagrams

Visibility

Public
All

Type Members

trait Binary extends SequentProofNode with GenBinary[SeqSequent, SequentProofNode]
trait BothInAnt extends SequentProofNode with Unary with TwoAuxFormulas
trait BothInSuc extends SequentProofNode with Unary with TwoAuxFormulas
trait ImplicitContraction extends SequentProofNode
trait InAnt extends SequentProofNode with Unary with SingleAuxFormula
trait InSuc extends SequentProofNode with Unary with SingleAuxFormula
trait Left extends SequentProofNode with SingleMainFormula
trait LeftInSucRightInAnt extends SequentProofNode with Binary with TwoAuxFormulas
trait NoAuxFormula extends SequentProofNode with Unary
trait NoImplicitContraction extends SequentProofNode
trait NoMainFormula extends SequentProofNode
trait Nullary extends SequentProofNode with GenNullary[SeqSequent, SequentProofNode]
trait OnePerAntecedent extends SequentProofNode with Binary with TwoAuxFormulas
trait OnePerCedent extends SequentProofNode with Unary with TwoAuxFormulas
trait OnePerSuccedent extends SequentProofNode with Binary with TwoAuxFormulas
trait Right extends SequentProofNode with SingleMainFormula
abstract class SequentProofNode extends ProofNode[SeqSequent, SequentProofNode]
trait SingleAuxFormula extends AnyRef
trait SingleMainFormula extends SequentProofNode
trait TwoAuxFormulas extends AnyRef
trait Unary extends SequentProofNode with GenUnary[SeqSequent, SequentProofNode]

Value Members

package lk
package resolution

Ungrouped