An Order-Based Approach to Non-Classical Propositional and Predicate Logics
Project goals
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.
Keywords
abstract algebraic logicnon-classical logicssubstructural logicsmathematical fuzzy logiclogics of computer science
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 17 (SGA0201300005)
Main participants
Ústav teorie informace a automatizace AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
13-14654S
Alternative language
Project name in Czech
Neklasické výrokové a predikátové logiky: přístup založený na uspořádání
Annotation in Czech
Formální systémy (ne)klasických logic jsou zásádní pro mnohé oblasti informatiky. Jsou ceněny pro svou deduktivní povahu, universalitu, přenositelnost a široké možnosti, které plynou z jejich precizních matematických základů. Jednotný přístup založený na teorii abstraktní algebracké logiky hluboce přispívá ke studiu této široké rodiny logických systémů. Účelem projektu je vytvořit variantu této teorie založenou na pojmu uspořádané sémantiky a jejím vztahu k spojce implikace. Budeme usilovat o vytvoření silnější, lépe aplikovatelné abstraktní teorie jak pro výrokové tak i pro predikátové logiky. Dále plánujeme demostrovat sílu této teorie na dvou důležitých třídách neklasických logik a to na substrukturálních a fuzzy logikách.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
BA - General mathematics
CEP - another secondary branch
—
10101 - Pure mathematics
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project achieved significant original results in the area of mathematical logic, the main research goals were accomplished. Most of the published papers are of excellent quality. Given the size of the research team, the total number of published papers in the period of four years should be somewhat higher.
Solution timeline
Realization period - beginning
Feb 1, 2013
Realization period - end
Apr 23, 2018
Project status
U - Finished project
Latest support payment
Apr 5, 2016
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP19-GA0-GA-U/11:1
Data delivery date
Jun 8, 2021
Finance
Total approved costs
4,570 thou. CZK
Public financial support
4,570 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
4 570 CZK thou.
Public support
4 570 CZK thou.
100%
Provider
Czech Science Foundation
CEP
IN - Informatics
Solution period
01. 02. 2013 - 23. 04. 2018