Institute of Information Theory and Automation

You are here

An Order-Based Approach to Non-Classical Propositional and Predicate Logics

Agency: 
GACR
Identification Code: 
GA13-14654S
Start: 
2013-02-01
End: 
2016-12-31
Project Type (EU): 
other
Abstract: 
Formal systems of (non-)classical logics are essential in many areas of computer science. Their appreciation is due to their deductive nature, universality and portability, and the power they gain from their rigorous mathematical background. Such a diverse landscape of logical systems has greatly benefited from a unified approach offered by Abstract Algebraic Logic. The purpose of this project is to develop a variant of this theory, based on the notion of ordered semantics and its interplay with implication connective. We aim at a stronger, better applicable abstract theory for both propositional and predicate logics. As a showcase, we plan to illustrate the power of the resulting theory on two important families of non-classical logics: substructural and fuzzy ones.
Publications ÚTIA: 
list
2014-01-21 12:40