Handbook of Philosophical Logic: Volume 16Dov M. Gabbay, Franz Guenthner Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems. |
Contents
1 | |
REFUTATION SYSTEMS IN PROPOSITIONALLOGIC | 115 |
QUANTIFIER SCOPE IN FORMALLINGUISTICS | 159 |
NONDETERMINISTIC SEMANTICS FORLOGICAL SYSTEMS | 226 |
305 | |
Other editions - View all
Common terms and phrases
allows ambiguity analysis applied approach assignment assume Avron axiom belief base belief revision belief set calculus canonical classical logic closed complete connective consequence consider consistent contains contraction corresponding defined DEFINITION denote derived discussed effects elements epistemic equivalent example extension fact finite formal formula framework function Gabbay given grammar Hence implies includes inconsistent instance interpretation introduced intuitionistic logic inverse scope language Linguistics meaning mechanism natural Nmatrix normal form Note notion object obtained operation partial position possible postulates predicate presented principle problem proof properties proposed propositional quantifier rank reading reasoning referred refutation relation representation requirements respect result revision operation Rodrigues rule satisfies scope semantics sentence sequent similar specification standard structure subsets symbols syntactic THEOREM theory translation true valuation variable