Rezultati

eNauka >  Results >  Probabilized sequent calculus and natural deduction system for classical logic
Title: Probabilized sequent calculus and natural deduction system for classical logic
Authors: Boričić, Marija  
Issue Date: 2020
Publication: Probabilistic Extensions of Various Logical Systems
Publisher: Springer International Publishing
Type: Book parts
Collation: 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-category: 
Mp. category will be shown later

1
SCOPUSTM
Alt metrika
Dimensions
Unpaywall

Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.