Enum ParaconsistentSystem 

pub enum ParaconsistentSystem {
    LP,
    FDE,
    RelevantR,
    PriestLP,
    JaskowskiD2,
}

Represents a paraconsistent logic: a logic where contradictions do not cause explosion (ex falso quodlibet fails).

Variants

LP

LP (Logic of Paradox): allows true contradictions (dialetheism).

FDE

FDE (First Degree Entailment): four-valued logic.

RelevantR

Relevant logic R.

PriestLP

Priest’s LP with modus ponens.

JaskowskiD2

Jaskowski’s discussive logic D2.

Implementations

impl ParaconsistentSystem

pub fn num_truth_values(&self) -> usize

Returns the number of truth values in the system.

pub fn explosion_holds(&self) -> bool

Check if the law of explosion (⊢ A → (¬A → B)) holds.

pub fn handles_liar_paradox(&self) -> bool

Whether this system handles the liar paradox consistently.

Trait Implementations

impl Clone for ParaconsistentSystem

fn clone(&self) -> ParaconsistentSystem

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ParaconsistentSystem

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for ParaconsistentSystem

fn eq(&self, other: &ParaconsistentSystem) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for ParaconsistentSystem