Počet záznamů: 1

Proof Theory for Positive Logic with Weak Negation

SYSNO	0505107
Název	Proof Theory for Positive Logic with Weak Negation
Tvůrce(i)	Bílková, Marta (UIVT-O)_{SAI, RID, ORCID} Colacito, A. (IT)
Zdroj.dok.	Studia Logica. Roč. 108, č. 4 (2020), s. 649-686. - : Springer
Druh dok.	Článek v odborném periodiku
Grant	GA17-04630S GA ČR - Grantová agentura ČR
Institucionální podpora	UIVT-O - RVO:67985807
Jazyk dok.	eng
Země vyd.	NL
Klíč.slova	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
Trvalý link	http://hdl.handle.net/11104/0296624

Počet záznamů: 1