Result 1 to 20 of 21 total
Decision problems for propositional linear logic. (English)
Ann. Pure Appl. Logic 56, No.1-3, 239-311 (1992).
1
Mathematical logic. Introductory course. (Logica matematica. Corso introduttivo.) (Italian)
Bari: Edizioni Fratelli Laterza, 187 p. (1992).
2
Artificial intelligence, mathematics and physics: hic Rhodos, hic salta. (Italian)
Rend. Mat. Appl., VII. Ser. 11, No.1, 199-207 (1991).
3
Factory concepts and practices in software development. (English)
Ann. Hist. Comput. 13, No.1, 3-32 (1991).
4
Decidability of elementary theories of certain finitely defined algebras. (English)
Algebra Logic 30, No.4, 296-310 (1991); translation from Algebra Logika 30, No.4, 457-476 (1991).
5
Remarks on a paper by K. Aoyama on definability in arithmetic. (English)
Rep. Fac. Sci., Shizuoka Univ. 25, 17-23 (1991).
6
On deduction theorems and functional Boolean equations. (English)
Semin. Arghiriade 22, 13 p. (1990).
7
Nonfinite axiomatizability results for cylindric and relation algebras. (English)
J. Symb. Log. 54, No.3, 951-974 (1989).
8
Absolutely independent axiomatizations for countable sets in classical logic. (English)
Stud. Log. 48, No.1, 77-84 (1989).
9
Varieties with decidable finite algebras. II: Permutability. (English)
Algebra Univers. 26, No.2, 247-256 (1989).
10
The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences. (English)
Algebra Univers. 26, No.1, 33-47 (1989).
11
Counterexamples to the cut-elimination property and to the consistency of pure logic. (Italian)
Mathematical foundations, Proc. Meet., Siena/Italy 1987, Atti Incontri Logica Mat. 4, 115-119 (1988).
12
Classical and intuitionistic semantic validity. (Italian)
Mathematical foundations, Proc. Meet., Siena/Italy 1987, Atti Incontri Logica Mat. 4, 91-98 (1988).
13
Iterated extensional Rosser’s fixed points and hyperhyperdiagonalizable algebras. (English)
Z. Math. Logik Grundlagen Math. 33, 293-303 (1987).
14
Undecidability of theories of Boolean algebras with selected ideals. (English)
Algebra Logic 25, 206-219 (1986); translation from Algebra Logika 25, No.3, 326-346 (1986).
15
Varieties of logical matrices. (English)
Algebra Logic 24, 278-325 (1985); translation from Algebra Logika 24, No.4, 426-489 (1985).
16
On the non finite axiomatizability of P. (Italian)
Atti degli incontri di logica matematica, Vol. 2, Siena/Italia 1983/84, 621-626 (1985).
17
The theory of Boolean algebras extended by a group of automorphisms. (English)
Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 60, 218-222 (1984).
18
Il primo libro di logica. Introduzione ai metodi della logica contemporanea. (Italian)
Testi Manuali della Scienza Contemporanea. Serie di Logica Matematica. Torino: Boringhieri. 228 p. L. 23.000.00 (1984).
19
Algebraic aspects of deduction theorems. (English)
Bull. Sect. Logic, Pol. Acad. Sci. 12, 111-116 (1983).
20
Result 1 to 20 of 21 total
Start
Contact
Print
General Help
