Witnessed Models and Skolemization in Substructural Logics

Bibliografické údaje

Autoři

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

Rok vydání

2015

Typ publikace

Abstrakt

Periodikum

Topology, Algebra and Categories in Logic. Booklet of Abstracts

Projekty

• Neklasické výrokové a predikátové logiky: přístup založený na uspořádání

Bibliografická citace

CINTULA, Petr, DIACONESCU, D., METCALFE, G. Witnessed Models and Skolemization in Substructural Logics. In: Topology, Algebra and Categories in Logic. Booklet of Abstracts. University of Salerno, 2015, S. 53-54.

ID

446018