Horn filter pairs and Craig interpolation in Propositional Logic.

Subjects

Subjects :

*DIGITAL filters (Mathematics)
*MATHEMATICAL logic
*PROPOSITION (Logic)
*ALGEBRAIC logic
*INTERPOLATION
*EXPONENTS
*SEMANTICS (Philosophy)

Details

Language :

English

ISSN :

01200380

Volume :

30

Issue :

2

Database :

Academic Search Index

Journal :

Boletín de Matemáticas

Publication Type :

Academic Journal

Accession number :

176712650