Protonegationality and inconsistency lemmas: part I

Bibliographic details

Authors

Tomáš Lávička, Adam Přenosil

Publication year

2017

Publication type

Abstrakt

Periodical

ManyVal 2017. Booklet of Abstracts

Bibliographic citation

LÁVIČKA, Tomáš, PŘENOSIL, Adam. Protonegationality and inconsistency lemmas: part I. In: ManyVal 2017. Booklet of Abstracts. Toulouse: Institut de Mathematiques, 2017, S. 55-57.

ID

481955