noun ·Rare ·Advanced level

Definitions

Noun

1. 1
   A set of inference rules for deriving true sequents from other true sequents.

Synonyms

All synonyms

formal frameworkformal logiclogical calculusproof frameworkproof systemtheoretical framework

Antonyms

All antonyms

common sense argumenteveryday reasoninginformal reasoning