scientific article

From MaRDI portal

Revision as of 11:03, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2709301

Jump to:navigation, search

zbMath0969.03044MaRDI QIDQ2709301

Larisa L. Maksimova

Publication date: 24 July 2001

Full work available at URL: https://eudml.org/doc/187828

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

zbMATH Keywords

superintuitionistic logic Beth property Craig interpolation property equality-free fragment

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Intermediate logics (03B55)

Related Items (1)

Synonymous theories and knowledge representations in answer set programming

This page was built for publication:

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