Results
Title: | Soundness and completeness of a high probabilities sequent calculus | Authors: | Boričić, Marija B. | Issue Date: | 2018 | Publication: | Bulletin of Symbolic Logic | ISSN: | 1079-8986 Bulletin of Symbolic Logic Search Idenfier | Publisher: | Association for Symbolic Logic, Udine, Italy | Type: | Conference Paper | URI: | https://enauka.gov.rs/handle/123456789/254261 | URL: | https://lc18.uniud.it/ | Metadata source: | Migrirano iz RIS podataka | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.