May I borrow your logic? (Transporting logical structures along maps)
type: Item
instance of: scholarly article
title: May I borrow your logic? (Transporting logical structures along maps)
zbMATH Open document ID: 0901.68186
DOI: 10.1016/S0304-3975(96)00160-0
author: Maura Cerioli
author: José Meseguer
published in: Theoretical Computer Science
publication date: 1998-07-22T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1178195
zbMATH Keywords: mechanized reasoning
describes a project that uses: OBJ3
MaRDI profile type: Publication
cites work: Q3906394
cites work: Q3138536
cites work: Q3221381
cites work: Q3824395
cites work: Linear logic
cites work: Q4128539
cites work: Q5416166
cites work: Q4723263
cites work: Institutions: abstract model theory for specification and programming
cites work: Q3716279
cites work: Q5586462
cites work: Logic representation in LF
cites work: Q3877831
cites work: Q5639839
cites work: Q3975037
cites work: From Petri nets to linear logic
cites work: Q3032225
cites work: Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings
cites work: On observational equivalence and algebraic specification
cites work: Specifications in an arbitrary institution
cites work: Q3827993
cites work: On the existence of free models in abstract algebraic institutions
full work available at URL: s0304-3975(96)00160-0
OpenAlex ID: W2005081948
description: scientific article; zbMATH DE number 1178195