Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

;

Springer Nature Switzerland AG

09/2021

586

Dura

Inglês

9783030714291

15 a 20 dias

1057

Descrição não disponível.
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.
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