scientific article

From MaRDI portal

Publication:2751825

Jump to:navigation, search

zbMath0988.03046MaRDI QIDQ2751825

Sergey Pavlov

Publication date: 4 July 2002

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

zbMATH Keywords

intuitionistic logic classical propositional logic Łukasiewicz logic Kleene logic conditions for applicability logic FL4

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical propositional logic (03B05) Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication:

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