The lattice of super-Belnap logics

Number of the records: 1

1.

SYSNO ASEP	0453150
Document Type	A - Abstract
R&D Document Type	The record was not marked in the RIV
R&D Document Type	Není vybrán druh dokumentu
Title	The lattice of super-Belnap logics
Author(s)	Přenosil, Adam (UIVT-O)_{RID, ORCID, SAI}
Source Title	ManyVal 2015. - : University of Bern, 2015 S. 30-31
Action	ManyVal 2015
Event date	11.12.2015-13.12.2015
VEvent location	Les Diablerets
Country	CH - Switzerland
Event type	WRD
Language	eng - English
Country	CH - Switzerland
Subject RIV	BA - General Mathematics
R&D Projects	GBP202/12/G061 GA ČR - Czech Science Foundation (CSF)
Institutional support	UIVT-O - RVO:67985807
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2016

Number of the records: 1