Generalized Disjunctions in (Infinitary) Structural Consequence Relations

Bibliografické údaje

Autoři

• doc. Ing. Petr Cintula, Ph.D. DSc.

Rok vydání

2011

Typ publikace

Abstrakt

Periodikum

Logic Colloquium 2011

Projekty

• Institut Teoretické Informatiky

Bibliografická citace

CINTULA, Petr, NOGUERA, C. Generalized Disjunctions in (Infinitary) Structural Consequence Relations. In: Logic Colloquium 2011. Barcelona: Universitat de Barcelona, 2011, S. 48-50.

ID

362703