at.logic.skeptik.proof

natural

package natural

Content Hierarchy Learn more about scaladoc diagrams

Visibility

Public
All

Type Members

class Assumption extends NaturalDeductionProofNode with Nullary
trait Binary extends NaturalDeductionProofNode with GenBinary[NaturalSequent, NaturalDeductionProofNode]
class ImpElim extends NaturalDeductionProofNode with Binary
class ImpElimC extends NaturalDeductionProofNode with Binary
sealed abstract class ImpElimCArrow extends AnyRef
class ImpIntro extends NaturalDeductionProofNode with Unary
class ImpIntroC extends ImpIntroCK with IntuitionisticSoundnessCondition
class ImpIntroCK extends NaturalDeductionProofNode with Unary
abstract class ImpIntroCRule extends InferenceRule[NaturalSequent, NaturalDeductionProofNode]
trait IntuitionisticSoundnessCondition extends ImpIntroCK
abstract class NaturalDeductionProofNode extends ProofNode[NaturalSequent, NaturalDeductionProofNode]
trait Nullary extends NaturalDeductionProofNode with GenNullary[NaturalSequent, NaturalDeductionProofNode]
trait Unary extends NaturalDeductionProofNode with GenUnary[NaturalSequent, NaturalDeductionProofNode]

Value Members

object Assumption extends InferenceRule[NaturalSequent, NaturalDeductionProofNode]
object ImpElim extends InferenceRule[NaturalSequent, NaturalDeductionProofNode]
object ImpElimC extends InferenceRule[NaturalSequent, NaturalDeductionProofNode]
object ImpIntro extends InferenceRule[NaturalSequent, NaturalDeductionProofNode]
object ImpIntroC extends ImpIntroCRule
object ImpIntroCK extends ImpIntroCRule
object LeftArrow extends ImpElimCArrow with Product with Serializable
object RightArrow extends ImpElimCArrow with Product with Serializable
package isomorphismCurryHoward
object nameFactory

Ungrouped