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