- Full text PDF available (3)
In this paper the ultraalter properties of canonical frames are used to produce a non-standard map between canonical frames of diierent cardinalities. While this map is not a p-morphism, it is presented as a step towards the full understanding of canonical structures.
This paper looks at the concept of neighborhood canonicity introduced by BRIAN CHELLAS . We follow the lead of the author's paper  where it was shown that every non-iterative logic is neighborhood canonical and here we will show that all logics whose axioms have a simple syntactic form—no intensional operator is in boolean combination with a… (More)
In reporting on the theorem prover SCOTT (Slaney, SCOTT: A Semantically Guided Theorem Prover, Proc. IJCAI, 1993) we suggested semantic constraint as as an appropriate mechanism for guiding proof searches in propositional systems where the rule of inference is condensed detachment|a generalisation of Modus Ponens. Such constrained condensed detachment is… (More)