logical harmony
Sign in to saveprinciple governing approaches to logical semantics
Connections
Ludwig Wittgenstein
Entity
natural deduction
Entity
International Standard Book Number
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
Alfred Tarski
Entity
logical conjunction
Entity
logical operator
Entity
Michael Dummett
Entity
type system
Entity
formal system
Entity
Philosophical Investigations
Entity
rule of inference
Entity
Gerhard Gentzen
Entity
semantics of logic
Entity
Arthur Prior
Entity
semantic theory of truth
Entity
Dag Prawitz
Entity
inferential role semantics
Entity