Proof Theory for Positive Logic with Weak Negation

Number of the records: 1

1.

SYSNO	0505107
Title	Proof Theory for Positive Logic with Weak Negation
Author(s)	Bílková, Marta (UIVT-O)_{SAI, RID, ORCID} Colacito, A. (IT)
Source Title	Studia Logica. Roč. 108, č. 4 (2020), s. 649-686. - : Springer
Document Type	Článek v odborném periodiku
Grant	GA17-04630S GA ČR - Czech Science Foundation (CSF)
Institutional support	UIVT-O - RVO:67985807
Language	eng
Country	NL
Keywords	Minimal propositional logic * Weak negation * Intuitionistic propositional logic * Sequent calculus * Terminating sequent calculus * Decidability * Complexity
URL	http://dx.doi.org/10.1007/s11225-019-09869-y
Permanent Link	http://hdl.handle.net/11104/0296624

Number of the records: 1