Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
http://dbpedia.org/resource/Template:Logic-stub
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
12198076
(xsd:integer)
dbo:
wikiPageRevisionID
797968477
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Asbox
prov:
wasDerivedFrom
wikipedia-en
:Template:Logic-stub?oldid=797968477&ns=10
is
dbo:
wikiPageRedirects
of
dbt
:Logics-stub
is
dbp:
wikiPageUsesTemplate
of
dbr
:Proof_net
dbr
:Enumerative_definition
dbr
:Multimodal_logic
dbr
:Monotonicity_of_entailment
dbr
:Pars_destruens_and_pars_construens
dbr
:Principles_of_Mathematical_Logic
dbr
:Probabilistic_proposition
dbr
:Problem_of_multiple_generality
dbr
:Animistic_fallacy
dbr
:Antecedent_(logic)
dbr
:Antepredicament
dbr
:Appeal_to_ridicule
dbr
:Appeal_to_the_law
dbr
:Appeal_to_tradition
dbr
:Argument_from_inertia
dbr
:Argument_to_moderation
dbr
:Argumentum_ad_baculum
dbr
:Argumentum_ad_crumenam
dbr
:Beta-model
dbr
:Valentino_Annibale_Pastore
dbr
:Vampire_(theorem_prover)
dbr
:Deep_inference
dbr
:Defeasible_logic
dbr
:Degree_of_truth
dbr
:Descriptive_fallacy
dbr
:Double_counting_(fallacy)
dbr
:Inclusion_(logic)
dbr
:Informal_Logic_(journal)
dbr
:Instantiation_principle
dbr
:Interpretability
dbr
:Interval_temporal_logic
dbr
:Inverse_(logic)
dbr
:Inverse_resolution
dbr
:Invincible_ignorance_fallacy
dbr
:Limitation_of_size
dbr
:Lindenbaum's_lemma
dbr
:Proving_too_much
dbr
:Truth_predicate
dbr
:Robinson's_joint_consistency_theorem
dbr
:The_Game_of_Logic
dbr
:Completeness_(knowledge_bases)
dbr
:Consequent
dbr
:Counterargument
dbr
:Analytic_reasoning
dbr
:Anangeon
dbr
:LowerUnivalents
dbr
:Normal_form_(natural_deduction)
dbr
:Otter_(theorem_prover)
dbr
:Class_(philosophy)
dbr
:Conditioned_disjunction
dbr
:Consistency_(knowledge_bases)
dbr
:Contradictio_in_terminis
dbr
:Converse_accident
dbr
:Principle_of_nonvacuous_contrast
dbr
:Proof-theoretic_semantics
dbr
:Calculus_of_structures
dbr
:Subverted_support
dbr
:Comprehension_(logic)
dbr
:Empty_domain
dbr
:Friedberg–Muchnik_theorem
dbr
:Idempotency_of_entailment
dbr
:Tacit_assumption
dbr
:Unique_name_assumption
dbr
:PhoX
dbr
:Prototype_Verification_System
dbr
:Material_nonimplication
dbr
:Middle_term
dbr
:Domain-to-range_ratio
dbr
:Lambert_of_Auxerre
dbr
:Logical_cube
dbr
:Logical_pluralism
dbr
:Relative_term
dbr
:Multiple-conclusion_logic
dbr
:Explanatory_power
dbr
:Bar_induction
dbr
:Baralipton
dbr
:Barcan_formula
dbr
:Card_paradox
dbr
:Dialectica_space
dbr
:Fallacies_of_illicit_transference
dbr
:Fallacy_of_division
dbr
:False_premise
dbr
:Falsism
dbr
:Fluent_calculus
dbr
:Forrester's_paradox
dbr
:Fragment_(logic)
dbr
:Knowledge_base
dbr
:Logical_constant
dbr
:Process_of_elimination
dbr
:Regular_modal_logic
dbr
:Counterinduction
dbr
:Counting_quantification
dbr
:Hybrid_logic
dbr
:Takeuti's_conjecture
dbr
:Polychotomous_key
dbr
:Unsatisfiable_core
dbr
:Absolute_generality
dbr
:Accident_(fallacy)
dbr
:Affine_logic
dbr
:Affirmative_conclusion_from_a_negative_premise
dbr
:Binary_decision
dbr
:Birkhoff's_theorem_(equational_logic)
dbr
:Coercive_logic
dbr
:Cointerpretability
dbr
:Effective_method
dbr
:Herbrand_interpretation
dbr
:Tee_(symbol)
dbr
:Term_(argumentation)
dbr
:Provability_logic
dbr
:Double_turnstile
dbr
:Assertoric
dbr
:Association_for_Symbolic_Logic
dbr
:Büchi-Elgot-Trakhtenbrot_theorem
dbr
:Cirquent_calculus
dbr
:Classical_modal_logic
dbr
:Free_choice_inference
dbr
:Immutable_truth
dbr
:Models_And_Counter-Examples
dbr
:Monadic_second-order_logic
dbr
:Sentence_(mathematical_logic)
dbr
:Vagrant_predicate
dbr
:Neighborhood_semantics
dbr
:Extension_(predicate_logic)
dbr
:Extension_by_new_constant_and_function_names
dbr
:Illicit_major
dbr
:Illicit_minor
dbr
:Self-verifying_theories
dbr
:Propositional_variable
dbr
:Window_operator
dbr
:Plato's_beard
dbr
:Rule_of_replacement
dbr
:Existential_fallacy
dbr
:Existential_generalization
dbr
:Existential_instantiation
dbr
:First-order_predicate
dbr
:Self-reference_puzzle
dbr
:Monadic_Boolean_algebra
dbr
:Triangle_of_opposition
dbr
:Polysyllogism
dbr
:Pooh-pooh
dbr
:Port-Royal_Logic
dbr
:Simplification_of_disjunctive_antecedents
dbr
:T-schema
dbr
:Nominal_fallacy
dbr
:Non-wellfounded_mereology
dbr
:Normal_modal_logic
dbr
:Rules_of_passage_(logic)
dbr
:Performative_contradiction
dbr
:Second-order_propositional_logic
dbr
:Sacrifice_of_the_intellect
dbr
:Second-order_predicate
dbr
:Trivial_objections
dbr
:Van_Gogh_fallacy
dbr
:Vivid_knowledge
dbr
:Transparent_intensional_logic
dbr
:Virtuality_fallacy
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License