Proof Theory
portes grátis
Proof Theory
Sequent Calculi and Related Formalisms
Bimbo, Katalin
Taylor & Francis Ltd
10/2024
386
Mole
9781032920771
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
Proofs and Proof Theory. Classical First-Order Logic. Variants of the First Sequent Calculi. Sequent Calculi for Non-Classical Logics. Consecution Calculi for Non-Classical Logics. Display Calculi and Hypersequents. Cut Rules and Cut Theorems. Some Other Proof Systems. Applications and Applied Calculi. Appendix. Bibliography. Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Sequent Calculi;Cut Rule;Principal Formula;Intuitionistic Logic;Proof Tree;Modal Logic;Cut Formula;Decidability Results;Natural Deduction Systems;Proof Systems;Non-Classical Logic;Nonclassical Logics;Relevance Logic;Normal Modal Logic;Linear Logic;Non-classical Logics;Classical Logic;Meta-Logical Results;Relevance Logics;Subformula Property;Left Premise;De Morgan Negation;Left Rank;Cognate Sequents;Type Assignment System;Display Logic;Dual Combinators;Disjunction Property;Tableau System;Boolean Negation;Empty Clause;Distant Sequents
Proofs and Proof Theory. Classical First-Order Logic. Variants of the First Sequent Calculi. Sequent Calculi for Non-Classical Logics. Consecution Calculi for Non-Classical Logics. Display Calculi and Hypersequents. Cut Rules and Cut Theorems. Some Other Proof Systems. Applications and Applied Calculi. Appendix. Bibliography. Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Sequent Calculi;Cut Rule;Principal Formula;Intuitionistic Logic;Proof Tree;Modal Logic;Cut Formula;Decidability Results;Natural Deduction Systems;Proof Systems;Non-Classical Logic;Nonclassical Logics;Relevance Logic;Normal Modal Logic;Linear Logic;Non-classical Logics;Classical Logic;Meta-Logical Results;Relevance Logics;Subformula Property;Left Premise;De Morgan Negation;Left Rank;Cognate Sequents;Type Assignment System;Display Logic;Dual Combinators;Disjunction Property;Tableau System;Boolean Negation;Empty Clause;Distant Sequents