Handbook of Philosophical Logic: Volume 16Dov M. Gabbay, Franz Guenthner Springer Science & Business Media, 1 lut 2011 - 310 Belief Revision Refutation and systems in Propositional Logic. A Quantifier Scope in Formal Linguistics and Non-deterministic Semantics for Logical Systems. |
Spis treści
1 | |
REFUTATION SYSTEMS IN PROPOSITIONALLOGIC | 115 |
QUANTIFIER SCOPE IN FORMALLINGUISTICS | 159 |
NONDETERMINISTIC SEMANTICS FORLOGICAL SYSTEMS | 226 |
305 | |
Inne wydania - Wyświetl wszystko
Kluczowe wyrazy i wyrażenia
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