Consequence Relations

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
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.