Witnessed Models and Skolemization in Substructural Logics

Bibliographic details

Authors

Petr Cintula, D. Diaconescu, G. Metcalfe

Publication year

2015

Publication type

Abstrakt

Periodical

Topology, Algebra and Categories in Logic. Booklet of Abstracts

Projects

• An Order-Based Approach to Non-Classical Propositional and Predicate Logics

Bibliographic citation

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