Stupňované vlastnosti jsou v přirozeném diskurzu a usuzování všudypřítomné. Tyto vlastnosti jsou charakterizovány tím, že jich různé objekty můžou nabývat v různé intenzitě. Typickým příkladem jsou…
Vícehodnotové výrokové logiky představují důležitou rodinu neklasických logik, jejichž přirozená sémantika používá více než jen dvě klasické pravdivostní hodnoty pravda/nepravda. Studium těchto logik…
Klasická matematická logika, založená na konceptuálně jednoduchém jádru výrokové Booleovy logiky, hraje v moderní informatice zásadní roli. Aplikační potenciál klasické logiky je omezen bivalencí…
Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus. While classical logic generally formalises the notion of…
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…