About: Logical calculi

Property	Value
rdf:type	skos:Concept
rdfs:label	Logical calculi
skos:broader	dbpedia:Category:Formal_methods dbpedia:Category:Formal_systems dbpedia:Category:Logic_in_computer_science dbpedia:Category:Mathematical_logic
skos:prefLabel	Logical calculi
is skos:broader of	dbpedia:Category:Combinatory_logic dbpedia:Category:Process_calculi dbpedia:Category:Lambda_calculus
is skos:subject of	dbpedia:Relational_calculus dbpedia:Model_elimination dbpedia:Fitch-style_calculus dbpedia:Judgment_(mathematical_logic) dbpedia:Propositional_calculus dbpedia:Hilbert_system dbpedia:Method_of_analytic_tableaux dbpedia:Existential_graph dbpedia:Laws_of_Form dbpedia:Sequent_calculus dbpedia:Calculus_of_structures dbpedia:Fluent_calculus dbpedia:Situation_calculus dbpedia:Domain_relational_calculus dbpedia:Refinement_calculus dbpedia:Default_logic dbpedia:Monadic_predicate_calculus dbpedia:Event_calculus dbpedia:Frege's_propositional_calculus dbpedia:Proof_calculus dbpedia:Superposition_calculus dbpedia:Syncategorematic_term dbpedia:Tuple_relational_calculus