Consequence Relations
-10%
portes grátis
Consequence Relations
An Introduction to the Lindenbaum-Tarski Method
Muravitsky, Alexei; Citkin, Alex
Oxford University Press
07/2022
352
Dura
Inglês
9780192866417
15 a 20 dias
708
Descrição não disponível.
1: Introduction
2: Preliminaries
3: Sentential Formal Languages
4: Logical Consequences
5: Matrix Consequences
6: Unital Abstract Logics
7: Equational Consequence
8: Equational L-Consequence
9: Q-Consequence
10: Decidability
Bibliography
Index
2: Preliminaries
3: Sentential Formal Languages
4: Logical Consequences
5: Matrix Consequences
6: Unital Abstract Logics
7: Equational Consequence
8: Equational L-Consequence
9: Q-Consequence
10: Decidability
Bibliography
Index
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
1: Introduction
2: Preliminaries
3: Sentential Formal Languages
4: Logical Consequences
5: Matrix Consequences
6: Unital Abstract Logics
7: Equational Consequence
8: Equational L-Consequence
9: Q-Consequence
10: Decidability
Bibliography
Index
2: Preliminaries
3: Sentential Formal Languages
4: Logical Consequences
5: Matrix Consequences
6: Unital Abstract Logics
7: Equational Consequence
8: Equational L-Consequence
9: Q-Consequence
10: Decidability
Bibliography
Index
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
