logics
latest
Installation and Setup
Installation and Setup
Project Structure
Contributing Guidelines
Propositional Logics
Language
Formula
Inference
Parsers
Random Formula Generators
Many-Valued Semantics
Mapped Many-Valued Semantics
Axiom Systems
Natural Deduction
Tableaux
Metainferential Tableaux
Sequents
Predicate Logics
Language
Formula
Parsers
Random Formula Generators
Models
Truth Theory
Natural Deduction
logics
»
Index
Edit on GitHub
Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
L
|
M
|
N
|
P
|
R
|
S
|
T
|
U
|
V
A
antecedent (logics.classes.propositional.proof_theories.Sequent property)
apply_heuristic() (logics.utils.solvers.natural_deduction.Heuristic method)
apply_truth_function() (logics.classes.predicate.semantics.ModelTheory method)
(logics.classes.propositional.semantics.MixedManyValuedSemantics method)
arguments() (logics.classes.predicate.PredicateFormula method)
(logics.classes.propositional.Formula method)
ArithmeticTruthParser (class in logics.utils.parsers.predicate_parser)
arity() (logics.classes.predicate.PredicateLanguage method)
(logics.classes.propositional.Language method)
associated_conditional() (logics.classes.propositional.Inference method)
atomics_inside() (logics.classes.propositional.Formula method)
(logics.classes.propositional.Inference method)
AxiomSystem (class in logics.classes.propositional.proof_theories)
B
beggining_conclusion_index (logics.utils.solvers.tableaux.TableauxSolver attribute)
beggining_premise_index (logics.utils.solvers.tableaux.TableauxSolver attribute)
BiasedPredicateGenerator (class in logics.utils.formula_generators.generators_biased)
BiasedPropositionalGenerator (class in logics.utils.formula_generators.generators_biased)
C
child_index (logics.classes.propositional.proof_theories.TableauxNode property)
classical_logic_up_to_level() (in module logics.instances.propositional.many_valued_semantics)
conclusion (logics.classes.propositional.Inference property)
(logics.classes.propositional.proof_theories.Derivation property)
constants() (logics.classes.propositional.Language method)
ConstructiveTreeSystem (class in logics.classes.propositional.proof_theories.tableaux)
contains_string() (logics.classes.predicate.PredicateFormula method)
context_formulae() (logics.classes.propositional.proof_theories.Sequent method)
D
denotation() (logics.classes.predicate.semantics.Model method)
depth (logics.classes.propositional.Formula property)
Derivation (class in logics.classes.propositional.proof_theories)
DerivationStep (class in logics.classes.propositional.proof_theories)
domain (logics.classes.predicate.semantics.Model property)
E
empty_logic_up_to_level() (in module logics.instances.propositional.many_valued_semantics)
F
fast_axiom_check (logics.classes.propositional.proof_theories.SequentCalculus attribute)
fast_node_is_closed_enabled (logics.classes.propositional.proof_theories.TableauxSystem attribute)
find_model() (logics.utils.solvers.model_finder.ModelFinder method)
FirstOrderNaturalDeductionSolver (class in logics.utils.solvers.first_order_natural_deduction)
fixed_denotations (logics.classes.predicate.semantics.Model attribute)
Formula (class in logics.classes.propositional)
free_variables() (logics.classes.predicate.PredicateFormula method)
G
get_counterexamples() (logics.classes.propositional.proof_theories.TableauxSystem method)
godel_decode() (in module logics.utils.parsers.parser_utils)
godel_encode() (in module logics.utils.parsers.parser_utils)
H
Heuristic (class in logics.utils.solvers.natural_deduction)
I
IndexedTableauxSolver (class in logics.utils.solvers.tableaux)
IndexedTableauxSystem (class in logics.classes.propositional.proof_theories.tableaux)
individual_constants_inside() (logics.classes.predicate.PredicateFormula method)
Inference (class in logics.classes.propositional)
InfiniteLanguage (class in logics.classes.propositional)
InfinitePredicateLanguage (class in logics.classes.predicate)
instantiate() (logics.classes.propositional.Formula method)
(logics.classes.propositional.proof_theories.Sequent method)
(logics.classes.propositional.proof_theories.TableauxNode method)
IntersectionLogic (class in logics.classes.propositional.semantics)
is_antivalid() (logics.classes.propositional.semantics.MixedManyValuedSemantics method)
is_applicable() (logics.utils.solvers.natural_deduction.Heuristic method)
is_atomic (logics.classes.predicate.PredicateFormula property)
(logics.classes.propositional.Formula property)
is_atomic_string() (logics.classes.predicate.PredicateLanguage method)
(logics.classes.propositional.Language method)
is_closed() (logics.classes.predicate.PredicateFormula method)
is_context_variable_string() (logics.classes.propositional.Language method)
is_contingent() (logics.classes.propositional.semantics.MixedManyValuedSemantics method)
is_contradiction() (logics.classes.propositional.semantics.MixedManyValuedSemantics method)
is_correct_application() (logics.classes.propositional.proof_theories.NaturalDeductionSystem method)
is_correct_derivation() (logics.classes.propositional.proof_theories.AxiomSystem method)
(logics.classes.propositional.proof_theories.NaturalDeductionSystem method)
is_correct_tree() (logics.classes.propositional.proof_theories.SequentCalculus method)
(logics.classes.propositional.proof_theories.TableauxSystem method)
is_correctly_applied() (logics.classes.propositional.proof_theories.SequentCalculus method)
is_globally_valid() (logics.classes.propositional.semantics.MixedManyValuedSemantics method)
is_globally_valid2() (logics.classes.propositional.semantics.MixedManyValuedSemantics method)
is_globally_valid3() (logics.classes.propositional.semantics.MixedManyValuedSemantics method)
is_instance_of() (logics.classes.propositional.Formula method)
(logics.classes.propositional.Inference method)
(logics.classes.propositional.proof_theories.metainferential_tableaux.MetainferentialTableauxStandard method)
(logics.classes.propositional.proof_theories.Sequent method)
(logics.classes.propositional.proof_theories.SequentNode method)
(logics.classes.propositional.proof_theories.TableauxNode method)
is_locally_antivalid() (logics.classes.propositional.semantics.MixedManyValuedSemantics method)
is_locally_valid() (logics.classes.propositional.semantics.MixedManyValuedSemantics method)
is_metainference (logics.classes.propositional.Inference property)
is_metavariable_string() (logics.classes.predicate.PredicateLanguage method)
(logics.classes.propositional.Language method)
is_open() (logics.classes.predicate.PredicateFormula method)
is_schematic() (logics.classes.predicate.PredicateFormula method)
(logics.classes.propositional.Formula method)
(logics.classes.propositional.Inference method)
is_sentential_constant_string() (logics.classes.propositional.Language method)
is_tautology() (logics.classes.propositional.semantics.MixedManyValuedSemantics method)
is_valid() (logics.classes.propositional.proof_theories.SequentCalculus method)
(logics.classes.propositional.proof_theories.TableauxSystem method)
(logics.classes.propositional.semantics.MixedManyValuedSemantics method)
is_well_formed() (logics.classes.propositional.Formula method)
(logics.classes.propositional.Language method)
(logics.classes.propositional.proof_theories.tableaux.ConstructiveTreeSystem method)
L
Language (class in logics.classes.propositional)
level (logics.classes.propositional.Inference property)
(logics.classes.propositional.proof_theories.metainferential_tableaux.MetainferentialTableauxStandard property)
liar_sentence (logics.classes.predicate.semantics.models.TruthPredicateModelTheory attribute)
logics.instances.predicate.languages.arithmetic_language (built-in variable)
logics.instances.predicate.languages.arithmetic_truth_language (built-in variable)
logics.instances.predicate.languages.classical_function_language (built-in variable)
logics.instances.predicate.languages.classical_infinite_predicate_language (built-in variable)
logics.instances.predicate.languages.classical_predicate_language (built-in variable)
logics.instances.predicate.languages.real_number_arithmetic_language (built-in variable)
logics.instances.predicate.model_semantics.arithmetic_model_semantics (built-in variable)
logics.instances.predicate.model_semantics.arithmetic_truth_model_semantics (built-in variable)
logics.instances.predicate.model_semantics.classical_functional_model_semantics (built-in variable)
logics.instances.predicate.model_semantics.classical_model_semantics (built-in variable)
logics.instances.predicate.model_semantics.realnumber_arithmetic_model_semantics (built-in variable)
logics.instances.predicate.model_subclasses.ArithmeticModel (built-in variable)
logics.instances.predicate.model_subclasses.RealNumberArithmeticModel (built-in variable)
logics.instances.predicate.natural_deduction.predicate_classical_natural_deduction_system (built-in variable)
logics.instances.propositional.axiom_systems.classical_logic_axiom_system (built-in variable)
logics.instances.propositional.languages.classical_infinite_language (built-in variable)
logics.instances.propositional.languages.classical_infinite_language_nobiconditional (built-in variable)
logics.instances.propositional.languages.classical_infinite_language_noconditional (built-in variable)
logics.instances.propositional.languages.classical_infinite_language_only_negation_conditional (built-in variable)
logics.instances.propositional.languages.classical_infinite_language_with_sent_constants (built-in variable)
logics.instances.propositional.languages.classical_infinite_language_with_sent_constants_nobiconditional (built-in variable)
logics.instances.propositional.languages.classical_language (built-in variable)
logics.instances.propositional.languages.LFI_language (built-in variable)
logics.instances.propositional.languages.modal_infinite_language (built-in variable)
logics.instances.propositional.languages.modal_infinite_language_with_sent_constants (built-in variable)
logics.instances.propositional.languages.modal_language (built-in variable)
logics.instances.propositional.many_valued_semantics.classical_mvl_semantics (built-in variable)
logics.instances.propositional.many_valued_semantics.K3_mvl_semantics (built-in variable)
logics.instances.propositional.many_valued_semantics.LP_mvl_semantics (built-in variable)
logics.instances.propositional.many_valued_semantics.ST_mvl_semantics (built-in variable)
logics.instances.propositional.many_valued_semantics.TS_mvl_semantics (built-in variable)
logics.instances.propositional.mapped_logic_semantics.intersective_mixed_logic_between_ss_and_tt_relations_all_some_logic (built-in variable)
logics.instances.propositional.mapped_logic_semantics.three_valued_strict_strict_from_all_premises_to_some_conclusions_logic (built-in variable)
logics.instances.propositional.mapped_logic_semantics.three_valued_strict_tolerant_from_all_premises_to_some_conclusions_logic (built-in variable)
logics.instances.propositional.mapped_logic_semantics.three_valued_tolerant_strict_from_all_premises_to_some_conclusions_logic (built-in variable)
logics.instances.propositional.mapped_logic_semantics.three_valued_tolerant_tolerant_from_all_premises_to_some_conclusions_logic (built-in variable)
logics.instances.propositional.mapped_logic_semantics.two_valued_falsity_preservation_from_all_premises_to_all_conclusions_logic (built-in variable)
logics.instances.propositional.mapped_logic_semantics.two_valued_falsity_preservation_from_all_premises_to_some_conclusions_logic (built-in variable)
logics.instances.propositional.mapped_logic_semantics.two_valued_truth_preservation_from_all_premises_to_all_conclusions_logic (built-in variable)
logics.instances.propositional.mapped_logic_semantics.two_valued_truth_preservation_from_all_premises_to_some_conclusions_logic (built-in variable)
logics.instances.propositional.metainferential_tableaux.CL_metainferential_tableaux_system (built-in variable)
logics.instances.propositional.metainferential_tableaux.SK_metainferential_tableaux_system (built-in variable)
logics.instances.propositional.metainferential_tableaux.WK_metainferential_tableaux_system (built-in variable)
logics.instances.propositional.natural_deduction.classical_natural_deduction_system (built-in variable)
logics.instances.propositional.natural_deduction.classical_natural_deduction_system2 (built-in variable)
logics.instances.propositional.natural_deduction.classical_natural_deduction_system2_unordered (built-in variable)
logics.instances.propositional.natural_deduction.classical_natural_deduction_system_unordered (built-in variable)
logics.instances.propositional.sequents.LK (built-in variable)
logics.instances.propositional.sequents.LKmin (built-in variable)
logics.instances.propositional.sequents.LKminEA (built-in variable)
logics.instances.propositional.tableaux.classical_indexed_tableaux_system (built-in variable)
logics.instances.propositional.tableaux.classical_tableaux_system (built-in variable)
logics.instances.propositional.tableaux.FDE_tableaux_system (built-in variable)
logics.instances.propositional.tableaux.K3_tableaux_system (built-in variable)
logics.instances.propositional.tableaux.LP_tableaux_system (built-in variable)
logics.utils.parsers.classical_parser (built-in variable)
logics.utils.parsers.LFI_parser (built-in variable)
logics.utils.parsers.modal_parser (built-in variable)
logics.utils.parsers.predicate_parser.arithmetic_parser (built-in variable)
logics.utils.parsers.predicate_parser.arithmetic_truth_parser (built-in variable)
logics.utils.parsers.predicate_parser.classical_predicate_parser (built-in variable)
logics.utils.parsers.predicate_parser.realnumber_arithmetic_parser (built-in variable)
logics.utils.solvers.classical_natural_deduction_solver (built-in variable)
logics.utils.solvers.classical_natural_deduction_solver2 (built-in variable)
logics.utils.solvers.first_order_natural_deduction.first_order_natural_deduction_solver (built-in variable)
M
main_formulae() (logics.classes.propositional.proof_theories.Sequent method)
main_symbol (logics.classes.propositional.Formula property)
ManyValuedTableauxSystem (class in logics.classes.propositional.proof_theories.tableaux)
mapped_standard_to_formulae() (logics.classes.propositional.semantics.mapped_logic.MappedManyValuedSemantics method)
mapped_standard_to_inferences() (logics.classes.propositional.semantics.mapped_logic.MappedManyValuedSemantics method)
MappedManyValuedSemantics (class in logics.classes.propositional.semantics.mapped_logic)
MetainferentialTableauxNode (class in logics.classes.propositional.proof_theories.metainferential_tableaux)
MetainferentialTableauxSolver (class in logics.utils.solvers.tableaux)
MetainferentialTableauxStandard (class in logics.classes.propositional.proof_theories.metainferential_tableaux)
MetainferentialTableauxSystem (class in logics.classes.propositional.proof_theories.metainferential_tableaux)
MixedManyValuedSemantics (class in logics.classes.propositional.semantics)
MixedMetainferentialSemantics (class in logics.classes.propositional.semantics)
Model (class in logics.classes.predicate.semantics)
ModelFinder (class in logics.utils.solvers.model_finder)
ModelTheory (class in logics.classes.predicate.semantics)
N
NaturalDeductionRule (class in logics.classes.propositional.proof_theories)
NaturalDeductionSolver (class in logics.utils.solvers.natural_deduction)
NaturalDeductionStep (class in logics.classes.propositional.proof_theories)
NaturalDeductionSystem (class in logics.classes.propositional.proof_theories)
node_is_closed() (logics.classes.propositional.proof_theories.tableaux.ConstructiveTreeSystem method)
(logics.classes.propositional.proof_theories.TableauxSystem method)
P
parse() (logics.utils.parsers.standard_parser.StandardParser method)
parse_derivation() (logics.utils.parsers.standard_parser.StandardParser method)
parse_term() (logics.utils.parsers.predicate_parser.PredicateParser method)
predicate_variable_quantification_range() (logics.classes.predicate.semantics.Model method)
PredicateFormula (class in logics.classes.predicate)
PredicateLanguage (class in logics.classes.predicate)
PredicateNaturalDeductionRule (class in logics.classes.predicate.proof_theories)
PredicateNaturalDeductionSystem (class in logics.classes.predicate.proof_theories)
PredicateParser (class in logics.utils.parsers.predicate_parser)
predicates() (logics.classes.predicate.PredicateLanguage method)
predicates_inside() (logics.classes.predicate.PredicateFormula method)
premises (logics.classes.propositional.proof_theories.Derivation property)
print_derivation() (logics.classes.propositional.proof_theories.Derivation method)
print_path() (logics.classes.propositional.proof_theories.TableauxNode method)
print_tree() (logics.classes.propositional.proof_theories.SequentNode method)
(logics.classes.propositional.proof_theories.TableauxNode method)
R
random_formula() (logics.utils.formula_generators.generators_biased.BiasedPredicateGenerator method)
(logics.utils.formula_generators.generators_biased.BiasedPropositionalGenerator method)
random_inference() (logics.utils.formula_generators.generators_biased.BiasedPropositionalGenerator method)
random_invalid_inference() (logics.utils.formula_generators.generators_biased.BiasedPropositionalGenerator method)
random_tautology() (logics.utils.formula_generators.generators_biased.BiasedPropositionalGenerator method)
random_valid_inference() (logics.utils.formula_generators.generators_biased.BiasedPropositionalGenerator method)
reduce() (logics.classes.propositional.proof_theories.SequentCalculus method)
(logics.utils.solvers.sequents.SequentReducer method)
rule_is_applicable() (logics.classes.propositional.proof_theories.TableauxSystem method)
S
satisfies() (logics.classes.propositional.semantics.mapped_logic.MappedManyValuedSemantics method)
(logics.classes.propositional.semantics.MixedManyValuedSemantics method)
schematic_substitute() (logics.classes.propositional.Formula method)
separator (logics.classes.propositional.proof_theories.TableauxNode attribute)
Sequent (class in logics.classes.propositional.proof_theories)
sequent_is_axiom() (logics.classes.propositional.proof_theories.SequentCalculus method)
SequentCalculus (class in logics.classes.propositional.proof_theories)
SequentNode (class in logics.classes.propositional.proof_theories)
SequentReducer (class in logics.utils.solvers.sequents)
side_substitute() (logics.classes.propositional.proof_theories.Sequent method)
sides (logics.classes.propositional.proof_theories.Sequent property)
solve() (logics.utils.solvers.natural_deduction.NaturalDeductionSolver method)
(logics.utils.solvers.tableaux.TableauxSolver method)
solve_derivation() (logics.classes.propositional.proof_theories.NaturalDeductionSystem static method)
solve_tree() (logics.classes.propositional.proof_theories.TableauxSystem method)
StandardParser (class in logics.utils.parsers.standard_parser)
subformulae (logics.classes.propositional.Formula property)
(logics.classes.propositional.Inference property)
substitute() (logics.classes.propositional.Formula method)
(logics.classes.propositional.Inference method)
(logics.classes.propositional.proof_theories.Sequent method)
succedent (logics.classes.propositional.proof_theories.Sequent property)
T
TableauxNode (class in logics.classes.propositional.proof_theories)
TableauxSolver (class in logics.utils.solvers.tableaux)
TableauxSystem (class in logics.classes.propositional.proof_theories)
transform_inference_into_sequent() (logics.classes.propositional.proof_theories.SequentCalculus static method)
tree_is_closed() (logics.classes.propositional.proof_theories.SequentCalculus method)
(logics.classes.propositional.proof_theories.TableauxSystem method)
truth_table() (logics.classes.propositional.semantics.MixedManyValuedSemantics method)
TruthPredicateLanguage (class in logics.classes.predicate.language)
TruthPredicateModelTheory (class in logics.classes.predicate.semantics.models)
U
UnionLogic (class in logics.classes.propositional.semantics)
unparse() (logics.utils.parsers.standard_parser.StandardParser method)
V
valuation() (logics.classes.predicate.semantics.ModelTheory method)
(logics.classes.propositional.semantics.MixedManyValuedSemantics method)
valuation_matrix() (logics.classes.propositional.semantics.mapped_logic.MappedManyValuedSemantics method)
vsubstitute() (logics.classes.predicate.PredicateFormula method)
Read the Docs
v: latest
Versions
latest
Downloads
On Read the Docs
Project Home
Builds