A Tool for Analysing Logics | Zendy

Sheila R. M. Veloso | Zendy; Paulo A. S. Veloso | Zendy; Paula M. Veloso | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Tool for Analysing Logics

Author(s) -

Sheila R. M. Veloso,

Paulo A. S. Veloso,

Paula M. Veloso

Publication year - 2011

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2011.03.010

Subject(s) - unary operation , algebraic number , computer science , theoretical computer science , symbol (formal) , classical logic , t norm fuzzy logics , algebra over a field , epistemology , mathematics , programming language , algorithm , artificial intelligence , discrete mathematics , pure mathematics , philosophy , mathematical analysis , membership function , fuzzy set , fuzzy logic

We introduce and examine a tool for analysing logics. This algebraic tool, coming from some ideas introduced by J. Piaget, provides condensed information about a logic (with emphasis on the behavior of a unary symbol), as such, it can be employed for analysing and, to some extent, comparing logics

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research