C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Wright's Strict Finitistic Logic in the Classical Metatheory: The Propositional Case.
Takahiro Yamada
Published in:
J. Philos. Log. (2023)
Keyphrases
</>
multi valued
first order logic
propositional logic
classical first order logic
sound and complete axiomatization
probability theory
probabilistic logic
proof procedure
truth maintenance systems
artificial intelligence
bayesian networks
modal logic
dynamic logic