About: Logical calculi

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	4127376 (xsd:integer)
dbo:wikiPageRevisionID	975677224 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Commons_category dbt:Cat_see_also
rdf:type	skos:Concept
rdfs:label	Logical calculi (en)
skos:broader	dbc:Formal_methods dbc:Logic_in_computer_science dbc:Mathematical_logic dbc:Formal_systems
skos:prefLabel	Logical calculi (en)
prov:wasDerivedFrom	wikipedia-en:Category:Logical_calculi?oldid=975677224&ns=14
is dbo:wikiPageWikiLink of	dbr:Propositional_calculus dbr:Monadic_predicate_calculus dbr:Cut_rule dbr:Default_logic dbr:Spatial–temporal_reasoning dbr:Frege's_propositional_calculus dbr:Calculus_of_structures dbr:Superposition_calculus dbr:Domain_relational_calculus dbr:Laws_of_Form dbr:Fluent_calculus dbr:Judgment_(mathematical_logic) dbr:Kappa_calculus dbr:List_of_Hilbert_systems dbr:Natural_deduction dbr:Predicative_programming dbr:Region_connection_calculus dbr:Tuple_relational_calculus dbr:Hilbert_system dbr:Hidden_algebra dbr:Model_elimination dbr:Cirquent_calculus dbr:Method_of_analytic_tableaux dbr:Predicate_calculus dbr:Proof_calculus dbr:Refinement_calculus dbr:Relational_calculus dbr:Sequent_calculus dbr:Situation_calculus dbr:Nested_sequent_calculus dbr:Event_calculus dbr:Existential_graph dbr:Fitch_notation dbr:Nondeterministic_constraint_logic
is dcterms:subject of	dbr:Propositional_calculus dbr:Monadic_predicate_calculus dbr:Cut_rule dbr:Default_logic dbr:Spatial–temporal_reasoning dbr:Frege's_propositional_calculus dbr:Calculus_of_structures dbr:Superposition_calculus dbr:Domain_relational_calculus dbr:Laws_of_Form dbr:Fluent_calculus dbr:Judgment_(mathematical_logic) dbr:Kappa_calculus dbr:List_of_Hilbert_systems dbr:Natural_deduction dbr:Predicative_programming dbr:Region_connection_calculus dbr:Tuple_relational_calculus dbr:Hilbert_system dbr:Hidden_algebra dbr:Model_elimination dbr:Cirquent_calculus dbr:Method_of_analytic_tableaux dbr:Predicate_calculus dbr:Proof_calculus dbr:Refinement_calculus dbr:Relational_calculus dbr:Sequent_calculus dbr:Situation_calculus dbr:Nested_sequent_calculus dbr:Event_calculus dbr:Existential_graph dbr:Fitch_notation dbr:Nondeterministic_constraint_logic
is skos:broader of	dbc:Lambda_calculus dbc:Combinatory_logic dbc:Program_logic dbc:Process_calculi
is skos:related of	dbc:Algebraic_logic