Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Part 1: Introduction.- Chapter 1. Brief introduction by the editors.- Chapter2. Overview of Urquhart's work.- Chapter 3. Autobiographical Essay by Urquhart.- Part 2: Papers on algebraic logic and lattice theory.- Part 3: Papers on the complexity of proofs.- Part 4: Papers on philosophical logic and papers on history of logic.- Part 5: A response to the papers by Urquhart.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Fundamentos da Matemática
• Álgebra
• Filosofia: a lógica
• Lógica matemática

Algebraic Logic;History of Logic;Philosophical Logic;Complexity Theory;non-classical logic;Ockham algebras;proof complexity;relevance logic;proof complexity;modal logic;duality for commutator algebras