Horn filter pairs and Craig interpolation in propositional logic

Peter Arndt Hugo Luiz Mariano; Darllan Conceição Pinto

Boletin de Matematicas Bogota v. 30, n. 2, p. 1-5, 2023

Acesso online. A biblioteca também possui exemplares impressos.

Título:
Horn filter pairs and Craig interpolation in propositional logic
Autor: Peter Arndt
Hugo Luiz Mariano; Darllan Conceição Pinto
Assuntos: LÓGICA ALGÉBRICA; TEORIA DOS MODELOS; Horn Filter; Craig Interpolation; Propositional Logic
É parte de: Boletin de Matematicas Bogota v. 30, n. 2, p. 1-5, 2023
Notas: Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112563. Acesso em: 29 fev. 2024
Editor: Bogota
Data de criação/publicação: 2023
Formato: p. 1-5.
Idioma: Inglês

Links

Voltar para lista de resultados