Journal: Journal of Logic and Computation

Volume 20, Issue 4

759 -- 760George Metcalfe, Constantine Tsinakis. Order, Algebra and Logics
761 -- 793Manuela Busaniche, Roberto Cignoli. Constructive Logic with Strong Negation as a Substructural Logic
795 -- 810Roberto Giuntini, Francesco Paoli, Antonio Ledda. Categorical Equivalences for sqrt( ) quasi-MV Algebras
811 -- 822Stefano Aguzzoli, Vincenzo Marra. Finitely Presented MV-algebras with Finite Automorphism Group
823 -- 875Hitoshi Kihara, Hiroakira Ono. Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
877 -- 915Giulio Manzonetto, Antonino Salibra. Applying Universal Algebra to Lambda Calculus
917 -- 946Ciro Russo. Quantale Modules and their Operators, with Applications
947 -- 967Lawrence S. Moss. Syllogistic Logics with Verbs
969 -- 975James G. Raftery. A Non-finitary Sentential Logic that is Elementarily Algebraizable
977 -- 983Rostislav HorcĂ­k. Solutions to Some Open Problems on Totally Ordered Monoids