Volume 20; Issue 4

Journal of Logic and Computation

Volume 20; Issue 4
1

Quantale Modules and their Operators, with Applications

Russo, C.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 301 KB
english, 2010
3

Constructive Logic with Strong Negation as a Substructural Logic

Busaniche, M., Cignoli, R.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 357 KB
english, 2010
4

Solutions to Some Open Problems on Totally Ordered Monoids

Horcik, R.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 99 KB
english, 2010
5

Order, Algebra and Logics

Metcalfe, G., Tsinakis, C.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 34 KB
english, 2010
6

Finitely Presented MV-algebras with Finite Automorphism Group

Aguzzoli, S., Marra, V.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 224 KB
english, 2010
7

Applying Universal Algebra to Lambda Calculus

Manzonetto, G., Salibra, A.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 398 KB
english, 2010
8

A Non-finitary Sentential Logic that is Elementarily Algebraizable

Raftery, J. G.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 102 KB
english, 2010
9

Syllogistic Logics with Verbs

Moss, L. S.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 438 KB
english, 2010
10

Categorical Equivalences for Formula quasi-MV Algebras

Giuntini, R., Paoli, F., Ledda, A.
Journal:
Journal of Logic and Computation
Year:
2010
Language:
english
File:
PDF, 177 KB
english, 2010