wiki #formal-logic #formal-logic 2 pages tagged with "formal-logic" reasoning logical constructs — fundamental logical operations and connectives that form the building blocks of formal reasoning reasoning ontology overview — formal rdf/owl specification for representing arguments, inference rules, and reasoning structures back to wiki