Probabilized sequent calculus and natural deduction system for classical logic

Results

Naziv:	Probabilized sequent calculus and natural deduction system for classical logic
Autori:	Boričić, Marija
Godina:	2020
Publikacija:	Probabilistic Extensions of Various Logical Systems
Izdavač:	Springer International Publishing
Tip rezultata:	Poglavlje u monografiji
Kolacija:	str. 197-213
DOI:	10.1007/978-3-030-52954-3_7
Scopus-ID:	2-s2.0-85148551663
URI:	https://rfos.fon.bg.ac.rs/handle/123456789/2121 https://enauka.gov.rs/handle/123456789/778197
M-kategorija:	Mp kategorija će biti prikazana naknadno.

1
SCOPUS^TM

Altmetric

Dimensions

Unpaywall

Google Scholar^TM