View in EDS HTML Full Text PDF Full Text

A CL System for Propositions and Classes.

Saved in:
Bibliographic Details
Title: A CL System for Propositions and Classes.
Authors: Lemanski, Jens1,2 (AUTHOR) jens.lemanski@fernuni-hagen.de, Jansen, Ludger3,4 (AUTHOR) ludger.jansen@pthsta.it
Source: Erkenntnis. Apr2026, Vol. 91 Issue 4, p1553-1580. 28p.
Database: Mathematics Source
Full text is not displayed to guests.
Description
ISSN:01650106
DOI:10.1007/s10670-025-00946-4