Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

LOGIQUE GENERALE --- LOGIQUE MATHEMATIQUE --- LAMBDA-CALCULUS --- LOGIQUE COMBINATOIRE --- LOGIQUE GENERALE --- LOGIQUE MATHEMATIQUE --- LAMBDA-CALCULUS --- LOGIQUE COMBINATOIRE

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic, Symbolic and mathematical. --- Logique mathématique. --- Type theory. --- Théorie des types --- Logique generale --- Theorie des types --- Logique generale --- Theorie des types

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This is the first comprehensive introduction to Display Logic in the context of generalized Gentzen calculi. After reviewing several standard and non-standard sequent-style proof systems for modal logics, the author carefully motivates and develops Display Logic, an important refinement of Gentzen's sequent calculus devised by N. Belnap. A general strong cut-elimination theorem is proved that covers a large class of display sequent calculi. Moreover, a proof-theoretic semantics of the modal operators is developed. Proof-theoretic characterizations are also obtained for the logical operations of systems associated with Tarskian structured consequence relations. These systems include constructive logics with strong negation. Using the embedding of intuitionistic logic in S4, display calculi are presented for certain subintuitionistic logics that may be used as monotonic base systems for semantics-based non-monotonic reasoning. Eventually, a first-order display calculus is defined. Its modal extension is general enough to avoid the provability of both the Barcan formula and its converse.

Modality (Logic) --- Modal logic --- Logic --- Nonclassical mathematical logic --- Bisimulation --- Modality (Logic). --- Logic. --- Artificial intelligence. --- Mathematical logic. --- Artificial Intelligence. --- Mathematical Logic and Foundations. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- LOGIQUE GENERALE --- LOGIQUE MODALE