Add to ORKGIn its most general definition, provided by Robert Brandom, inferentialism is the idea that inference is of particular significance in the understanding of conceptual content. Several theories of meaning have been found classifiable under this so broadly defined cathegory. Besides Brandom's own one, Dummett's philosophy of language particularly stands out among these. This paper deals with the analysis of the inferentialist approach in semantics. Proof-Theoretical Semantics and Incompatibility Semantics are considered as paradigmatic examples of such enterprise. Their role as formal semantics in the framework of Dummett's and Brandom's theories of meaning is discussed, and their technical properties are examined and compared. The results of...