Proof Theory
portes grátis
Proof Theory
Sequent Calculi and Related Formalisms
Bimbo, Katalin
Taylor & Francis Ltd
10/2024
386
Mole
9781032920771
15 a 20 dias
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;proof systems;Principal Formula;Proof Tree;non-classical logic;Cut Formula;intuitionistic logic;Natural Deduction Systems;relevance logic;linear logic;Nonclassical Logics;modal logic;Normal Modal Logic;classical logic;Non-classical Logics;meta-logical results;decidability results;Relevance Logics;sequent calculus formalizations of logics;Subformula Property;Lambek calculi;Left Premise;variations on calculi for logic;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;proof systems;Principal Formula;Proof Tree;non-classical logic;Cut Formula;intuitionistic logic;Natural Deduction Systems;relevance logic;linear logic;Nonclassical Logics;modal logic;Normal Modal Logic;classical logic;Non-classical Logics;meta-logical results;decidability results;Relevance Logics;sequent calculus formalizations of logics;Subformula Property;Lambek calculi;Left Premise;variations on calculi for logic;De Morgan Negation;Left Rank;Cognate Sequents;Type Assignment System;Display Logic;Dual Combinators;Disjunction Property;Tableau System;Boolean Negation;Empty Clause;Distant Sequents
