scientific article

From MaRDI portal

Publication:3476793

Jump to:navigation, search

zbMath0699.03013MaRDI QIDQ3476793

Ugo Moscato, Pierangelo Miglioli, Mario Ornaghi

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

axiomatizability superintuitionistic logic abstract programs isoinitial model

Mathematics Subject Classification ID

Logic in computer science (03B70) General topics in the theory of software (68N01)

Related Items (1)

An infinite class of maximal intermediate propositional logics with the disjunction property

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3476793&oldid=16811878"