This is a preview. Log in through your library . Abstract We develop a paraconsistent logic by introducing new models for conditionals with acceptive and rejective selection functions which are ...
A semantic embedding of quantified conditional logic in classical higherorder logic is utilized for reducing cut-elimination in the former logic to existing results for the latter logic. The presented ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback