4978 search results - page 138 / 996 » Logical models of argument |
120
click to vote
APAL
2010
15 years 4 months ago
2010
We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the meaning of the new notion and its a...
127
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We show that for Multiplicative Exponential Linear Logic (without weakenings) the syntactical equivalence relation on proofs induced by cut-elimination coincides with the semantic ...
121
Voted
JAIR
2006
15 years 3 months ago
2006
Logical hidden Markov models (LOHMMs) upgrade traditional hidden Markov models to deal with sequences of structured symbols in the form of logical atoms, rather than flat characte...
141
click to vote
RSFDGRC
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. A generalized decision logic in interval-set-valued information tables is introduced, which is an extension of decision logic studied by Pawlak. Each object in an interva...
131
click to vote
FMCO
2007
Springer
15 years 7 months ago
2007
Springer
This paper describes a core component of Mobius' Trusted Code Base, the Mobius base logic. This program logic facilitates the transmission of certificates that are generated u...