The property of the countable model is introduced for a set U of formulas in the predicate calculus. Algebraic tools are applied to study (finite or infinite) semantic trees associated to a formula of the propositional or predicate calculus
Countable models and infinite trees
RESTUCCIA, Gaetana;PARATORE, MARIAFORTUNA
2008-01-01
Abstract
The property of the countable model is introduced for a set U of formulas in the predicate calculus. Algebraic tools are applied to study (finite or infinite) semantic trees associated to a formula of the propositional or predicate calculusFile in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
