Number of the records: 1
Proof Theory for Positive Logic with Weak Negation
- 1.Bílková, Marta - Colacito, A.
Proof Theory for Positive Logic with Weak Negation.
Studia Logica. Roč. 108, č. 4 (2020), s. 649-686. ISSN 0039-3215. E-ISSN 1572-8730
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.585, year: 2020
Method of publishing: Limited access
http://dx.doi.org/10.1007/s11225-019-09869-y
http://hdl.handle.net/11104/0296624
Cited: 1
--- NIKI, S. Subminimal Logics in Light of Vakarelov's Logic. STUDIA LOGICA. ISSN 0039-3215, OCT 2020, vol. 108, no. 5, p. 967-987. [WOS]
Number of the records: 1