LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR | Zendy

Cantini Andrea | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Premium

LEVELS OF IMPLICATION AND TYPE FREE THEORIES OF CLASSIFICATIONS WITH APPROXIMATION OPERATOR

Author(s) -

Cantini Andrea

Publication year - 1992

Publication title -

mathematical logic quarterly

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.473

H-Index - 28

eISSN - 1521-3870

pISSN - 0942-5616

DOI - 10.1002/malq.19920380109

Subject(s) - mathematics , hierarchy , operator (biology) , property (philosophy) , type (biology) , relation (database) , pure mathematics , algebra over a field , calculus (dental) , computer science , epistemology , data mining , medicine , biochemistry , chemistry , philosophy , dentistry , repressor , transcription factor , economics , market economy , gene , ecology , biology

We investigate a theory of Frege structures extended by the Myhill‐Flagg hierarchy of implications. We study its relation to a property theory with an approximation operator and we give a proof theoretical analysis of the basic system involved. MSC: 03F35, 03D60.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here

Accelerating Research