A finitely Axiomatizable complete theory with atomless F1 (T).
A formal analysis of musical scores
A general deduction theorem.
In this paper we present a very general deduction theorem which -based upon a uniform notion of proof from hypotheses- holds for a very large class of logical systems. Most of the known results for classical and modal logics, as well as new results, are immediate corollaries of this theorem.
A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. II. A method for statistical testing of an at random sampled formula
A method for random sampling of well-formed formulas. (A method for random sampling of formulas of an elementary theory and statistical estimation of their deducibility equipped by a program. I.)
Automatické formování hypotéz metodou GUHA - teorie a aplikace